The Calculus of Computation. Decision Procedures with Applications to Verification.

BRADLEY, Aaron R. & Zohar MANNA

Verlag: Springer, Berlin, 2007
Sprache: Englisch
Zustand: Gebraucht - Wie neu Hardcover

Verkauft von Antiquariat Renner OHG, Albstadt, Deutschland

Verbandsmitglied:

AbeBooks-Verkäufer seit 4. Juni 2003

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 - Wie neu

Preis: EUR 28,00 Währung umrechnen
EUR 3,20 für den Versand innerhalb von/der Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb legen