Computer-Aided Verification '90: Proceedings of a Dimacs Workshop June 18-21, 1990 (Dimacs Series in Discrete Mathematics and Theoretical Computer S)

Dimacs Workshop on Computer-Aided Verification, Clarke, E. M., Kurshan, R. P.

ISBN 10: 0821865943 ISBN 13: 9780821865941
Verlag: Amer Mathematical Society, 1991
Sprache: Englisch
Zustand: Gebraucht - Gut Hardcover

Verkauft von Zubal-Books, Since 1961, Cleveland, OH, USA

Heritage Bookseller
AbeBooks-Mitglied seit 1996

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

Alle Artikel dieses Verkäufers anzeigen


Gebraucht - Hardcover

Zustand: Gebraucht - Gut

Preis:
EUR 39,12
EUR 3,91 für den Versand innerhalb von/der USA

Anzahl: 1 verfügbar

In den Warenkorb legen