Computer Aided Verification: 37th International Conference, Cav 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
Piskac, Ruzica (Editor)/ Rakamaric, Zvonimir (Editor)
Verkauft von Revaluation Books, Exeter, Vereinigtes Königreich
AbeBooks-Verkäufer seit 6. Januar 2003
Neu - Softcover
Zustand: Neu
Anzahl: 2 verfügbar
In den Warenkorb legen