Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (Lecture Notes in Computer Science, 13372, Band 13372)
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE
Gesponsert
Galaxus.de
Computer Aided Verification, Fachbücher von Sharon Shoham, Yakir Vizel
Galaxus.de
26-09-2026 07:13:09
Hugendubel 
SpringerLink DE Ähnliche Produkte
Computer Aided Verification
42.79 EUR
Computer Aided Verification
38.98 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR
Computer Aided Verification
42.79 EUR