Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering - Franck Cassez - Kirjat - Springer International Publishing AG - 9783319119359 - maanantai 29. syyskuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition

Franck Cassez

Hinta
R$ 346,39

Tilattu etävarastosta

Arvioitu toimitus ke - to 1. - 9. loka

Asiakkaamme sanovat:

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

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings - Programming and Software Engineering 2014 edition

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions.

430 pages, 109 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 29. syyskuuta 2014
ISBN13 9783319119359
Tuottaja Springer International Publishing AG
Sivujen määrä 430
Mitta 155 × 235 × 23 mm   ·   635 g
Kieli French  
Toimittaja Cassez, Franck
Toimittaja Raskin, Jean-Francois
Näytä kaikki

Lisää tuotteita Franck Cassez

Katso kaikki joka sisältää Franck Cassez ( Esim. Paperback Book )