Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
53.49 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
SpringerLink DE
Gesponsert
Galaxus.de
Automated Technology for Verification and Analysis, Fachbücher von Jean-Francois Raskin, Franck Cassez
Galaxus.de
29-04-2026 12:43:33
