Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931)

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I (Lecture Notes in Computer Science, 15931, Band 15931)

42.79 EUR
Preis aktualisiert am: 23-08-2026 04:08:19
Siehe Produktangebot

Gesponsert Computer Aided Verification, Fachbücher von Zvonimir Rakamaric, Ruzica Piskac

42.79 EUR
Preis aktualisiert am: 23-08-2026 04:42:45
Siehe Produktangebot

Gesponsert Computer Aided Verification

43.99 EUR
Preis aktualisiert am: 23-08-2026 07:06:15
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale