Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science - Armin Biere - Kirjat - Springer International Publishing AG - 9783319088662 - maanantai 4. elokuuta 2014
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

Armin Biere

Hinta
HK$ 919,60

Tilattu etävarastosta

Arvioitu toimitus pe - ma 14. - 24. marras
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition

This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

911 pages, 205 black & white illustrations, biography

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 4. elokuuta 2014
ISBN13 9783319088662
Tuottaja Springer International Publishing AG
Sivujen määrä 877
Mitta 155 × 235 × 46 mm   ·   1,25 kg
Kieli German  
Toimittaja Biere, Armin
Toimittaja Bloem, Roderick
Näytä kaikki

Lisää tuotteita Armin Biere

Katso kaikki joka sisältää Armin Biere ( Esim. Paperback Book Ja Hardcover Book )