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. N� de r�f. du vendeur ABE-1701869235447

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Interactive Theorem Proving and Program ...

�diteur : Springer Berlin Heidelberg

Date d'�dition : 2010

Reliure : Softcover

Etat : Wie neu

A propos de ce titre

Synopsis :

Interactive Theorem Proving and Program Development A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

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

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Homeless Books
Germany

Conditions de vente :

The prices in the list are in euros and include VAT. Orders - by e-mail, telephone or post - are considered binding and are processed in the order in which they are received (please do not forget to indicate the postal address).
If what has been ordered is no longer available, the customer will be informed immediately.
The condition of the books has been carefully described where possible and always taken into account in the price.

Conditions de livraison :

Shipping costs are based on books weight and size.
We ship with Deutsche Post / DHL

Informations vendeur d�taill�es

Modes de paiement
accept�s par le vendeur