Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)

Computer Science
Wo zu kaufen (4) Eigenschaften
Gesponsert
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Medimops DE
98.04 EUR
Preis aktualisiert am: 20-10-2026 18:03:04
Siehe Produktangebot
Gesponsert
Computer Aided Verification
Hugendubel
106.99 EUR
Preis aktualisiert am: 21-10-2026 11:45:51
Siehe Produktangebot
Gesponsert
Computer Aided Verification, Fachbücher von Helmut Veith, Natasha Sharygina
Galaxus.de
106.99 EUR
Preis aktualisiert am: 18-10-2026 13:16:31
Siehe Produktangebot
Gesponsert
Computer Aided Verification
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 20-10-2026 18:49:05
Siehe Produktangebot

Allgemein

Marke
Springer

Eigenschaften

Ähnliche Produkte

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II (Lecture Notes in Computer Science, Band 11562)
Aus53.49 EUR 4
Produkt anzeigen
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)
Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I (Lecture Notes in Computer Science, Band 11561)
Aus53.49 EUR 4
Produkt anzeigen
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114, Band 3114)
Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings (Lecture Notes in Computer Science, 3114, Band 3114)
Aus104.64 EUR 3
Produkt anzeigen
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)
Aus100.34 EUR 3
Produkt anzeigen
Computer Aided Verification
Computer Aided Verification
Aus49.98 EUR 3
Produkt anzeigen
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings
Aus118.00 EUR 1
Produkt anzeigen
Menü