The book is in very good condition and does not appear to have been read. Only very minor shelf wear to the cover. Language: English. Ships from Berlin. Bestandsnummer des Verk�ufers ABE-1701869235447

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Interactive Theorem Proving and Program ...

Verlag: Springer Berlin Heidelberg

Erscheinungsdatum: 2010

Einband: Softcover

Zustand: Wie neu

�ber diesen Titel

Inhaltsangabe:

Book by Bertot Yves Castran Pierre

Cr�ticas:

From the reviews of the first edition:

"This book serves as a Coq user manual, supporting both beginners and experts in the use of Coq and its underlying theory. ... Numerous exercises further enhance the utility as a learning aid. A supporting website provides downloadable source for all the examples and solutions to the exercises. As an introduction to Coq the book is self-contained ... . The book is also comprehensive ... . In summary, the book is an essential companion for every Coq user ... ." (Valentin F. Goranko, Zentralblatt MATH, Vol. 1069, 2005)

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Kleines Gesch�ft mit verschiedenen Rarit�ten; ungew�hnliche B�cher, antiquarische B�cher, englische B�cher.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Homeless Books
Germany

Gesch�ftsbedingungen:

Die Preise in die Liste sind in Euro angegeben, im Preis ist die gesetzliche Umsatzsteuer enthalten. Die Bestellungen - per E-Mail, Telephon oder Post - werden als verbindlich angesehen und in der Reihenfolge ihres Eintreffens bearbeitet (bitte die Postadresse anzugeben nicht vergessen).
Falls das Bestellte nicht mehr verf�gbar ist, wird der Kunde unverz�glich informiert.
Der Zustand der B�cher wurde nach M�glichkeit sorgf�ltig beschrieben und stets im Preis ber�cksichtigt.

Versandinformationen:

Wir versenden per Deutsche Post / DHL. Zustellungsdauer innerhalb von Deutschland in der Regel 2-5 Tage.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer