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

Verk�ufer dsmbooks, Liverpool, Vereinigtes K�nigreich

Verk�uferbewertung 4 von 5 Sternen

AbeBooks-Verk�ufer seit 28. September 2015

Preis: EUR 52,09 W�hrung umrechnen

EUR 29,37 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

Beschreibung

Like New. Bestandsnummer des Verk�ufers D7F7-3-M-8184893965-6

Bibliografische Details

Titel: The Calculus of Computation : Decision ...

Verlag: Springer (sie)

Erscheinungsdatum: 2010

Einband: Paperback

Zustand: Like New

Art des Buches: book

Anbieterinformationen

collection of few very good books

dsmbooks
United Kingdom

Gesch�ftsbedingungen:

we ship all orders with in the specified shipping date.

Versandinformationen:

We use international air service to deliver products.

Zahlungsarten
akzeptiert von diesem Verk�ufer

Zu Kaufgesuchen hinzuf�gen