Automated Technology for Verification and Analysis - - Kirjat - Springer Nature Switzerland AG - 9783030010898 - sunnuntai 30. syyskuuta 2018
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Vastaanota sähköposti kun titteli on saatavilla
Onko sinulla profiili? Kirjaudu sisään

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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 Kirjat     Book
Julkaisupäivämäärä sunnuntai 30. syyskuuta 2018
ISBN13 9783030010898
Tuottaja Springer Nature Switzerland AG
Sivujen määrä 560
Mitta 150 × 220 × 20 mm   ·   861 g
Kieli Saksa  
Toimittaja Lahiri, Shuvendu K.
Toimittaja Wang, Chao

Lisää samalta julkaisijalta