Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science)
Medimops DE
11-06-2026 16:20:19
SpringerLink DE
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Helmut Veith, Natasha Sharygina
Galaxus.de
11-06-2026 11:29:46
Ähnliche Produkte
Computer Aided Verification
104.64 EUR
Computer Aided Verification
100.34 EUR
