Automated Technology for Verification and Analysis - - Książki - Springer Nature Switzerland AG - 9783030010898 - 30 września 2018
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Automated Technology for Verification and Analysis 1st ed. 2018 edition

Cena
zł 221,90

Zamówione z odległego magazynu

Przewidywana dostawa 26 lis - 4 gru
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Jeszcze nie oceniono

This book constitutes the refereed proceedings of the 16th International Symposium on Automated Technology for Verification and Analysis, ATVA 2018, held in Los Angeles, CA, USA in October 2018. The 27 full papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 82 submissions.

560 pages, 133 Illustrations, black and white; XIII, 560 p. 133 illus.

Media Książki     Book
Wydane 30 września 2018
ISBN13 9783030010898
Wydawcy Springer Nature Switzerland AG
Strony 560
Wymiary 150 × 220 × 20 mm   ·   861 g
Język Niemiecki  
Redaktor Lahiri, Shuvendu K.
Redaktor Wang, Chao

Więcej od tego samego wydawcy