The Calculus of Computation : Decision Procedures with Applications to Verification

Bradley, Aaron R.

ISBN 10: 8184893965 ISBN 13: 9788184893960

Verlag: Springer (sie), 2010

Sprache: Englisch

Zustand: Like New Softcover

F�r sp�ter vormerken

Verkauft von dsmbooks, Liverpool, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 28. September 2015

Verk�uferbewertung 4 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Like New

Preis: EUR 50,74 W�hrung umrechnen

EUR 28,91 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Like New.

Bestandsnummer des Verk�ufers D7F7-3-M-8184893965-6

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: The Calculus of Computation : Decision Procedures with Applications to Verification
Verlag: Springer (sie)
Erscheinungsjahr: 2010
Sprache: Englisch
ISBN-10: 8184893965
ISBN-13: 9788184893960
Einband: Paperback
Zustand: Like New
Buchtyp: book

Anbieterinformationen

collection of few very good books

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

dsmbooks
United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

we ship all orders with in the specified shipping date.

Versandbedingungen

We use international air service to deliver products.

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen