Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. 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

106.99 EUR

Teilen:
Gesponsert

Computer Aided Verification

SpringerLink DE
106.99 EUR
11-06-2026 10:26:35

Ähnliche Produkte

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

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

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

98.04 EUR
Computer Aided Verification

Computer Aided Verification

104.64 EUR
Computer Aided Verification

Computer Aided Verification

100.34 EUR
Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3

Computer Aided Verification: 7th International Conference, CAV '95, Liege, Belgium, July 3 - 5, 1995. Proceedings

49.98 EUR
Computer Aided Verification

Computer Aided Verification

53.49 EUR