Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed
ISBN 10:
3030387992 ISBN 13:
9783030387990
Verlag: Springer, 2022
Sprache: Englisch
Neu
Zustand: New
Hardcover
Verkäufer California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 27. Oktober 2023
Neu - Hardcover
Preis:
EUR 93,78
Währung umrechnen
Kostenlos
für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Anzahl: Mehr als 20 verfügbar
In den Warenkorb legen
