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
08-08-2026 15:50:31
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Helmut Veith, Natasha Sharygina
Galaxus.de
03-08-2026 09:04:55
SpringerLink DE Ähnliche Produkte
Computer Aided Verification
104.64 EUR
Computer Aided Verification
100.34 EUR
