Positive/Negative-Conditional Equations, A Constructor-Based Framework for Specification and Inductive Theorem Proving

Claus-Peter Wirth

ISBN 10: 386064551X ISBN 13: 9783860645512
Verlag: Verlag Dr. Kovac, Hamburg, 1997
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von Verlag Dr. Kovac GmbH, Hamburg, Deutschland

AbeBooks-Verkäufer seit 24. Januar 2011

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

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 59,95
EUR 17,60 Versand
Versand von Deutschland nach USA

Anzahl: 5 verfügbar

In den Warenkorb legen