Verified Software Theories Tools and Experiments -  - Książki - Springer Nature Switzerland AG - 9783030035914 - 24 listopada 2018
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Verified Software Theories Tools and Experiments 1st ed. 2018 edition

Cena
zł 219,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 paź
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2018, held in Oxford, UK, in July 2018. The 19 full papers presented were carefully revised and selected from 24 submissions.


345 pages, 10 Illustrations, color; 91 Illustrations, black and white; XVI, 345 p. 101 illus., 10 il

Media Książki     Book
Wydane 24 listopada 2018
ISBN13 9783030035914
Wydawcy Springer Nature Switzerland AG
Strony 345
Wymiary 150 × 220 × 20 mm   ·   552 g
Język Niemiecki  
Redaktor Piskac, Ruzica
Redaktor Rummer, Philipp

Więcej od tego samego wydawcy