Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27?April 1, 2021, Proceedings

Groote, Jan Friso (EDT); Larsen, Kim Guldstrand (EDT)

ISBN 10: 3030720152 ISBN 13: 9783030720155
Verlag: Springer, 2021
Sprache: Englisch
Zustand: Gebraucht - Wie neu Softcover

Verkauft von GreatBookPrices, Columbia, MD, USA

AbeBooks-Verkäufer seit 6. April 2009

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Softcover

Zustand: Gebraucht - Wie neu

Preis:
EUR 42,12
EUR 2,25 shipping
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb legen