Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th International Symposium, ISoLA 2024, . (Lecture Notes in Computer Science, 15222)
Margaria, Tiziana (Editor)/ Steffen, Bernhard (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