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

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

Cena
zł 212,90

Zamówione z odległego magazynu

Przewidywana dostawa 6 - 12 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.


522 pages, 86 Illustrations, color; 89 Illustrations, black and white; XIV, 522 p. 175 illus., 86 il

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