Leveraging Applications of Formal Methods Verification and Validation Modeling -  - Książki - Springer Nature Switzerland AG - 9783030034177 - 29 października 2018
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Leveraging Applications of Formal Methods Verification and Validation Modeling 1st ed. 2018 edition

Cena
zł 211,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.


588 pages, 136 Illustrations, color; 93 Illustrations, black and white; XV, 588 p. 229 illus., 136 i

Media Książki     Book
Wydane 29 października 2018
ISBN13 9783030034177
Wydawcy Springer Nature Switzerland AG
Strony 588
Wymiary 150 × 220 × 20 mm   ·   902 g
Język Niemiecki  
Redaktor Margaria, Tiziana
Redaktor Steffen, Bernhard