497 S. - Wir versenden aus unserem deutschen Lager heraus in plastikfreien oder wiederverwendeten Polstertaschen. Sprache: Englisch Gewicht in Gramm: 1940 Gebundene Ausgabe, Ma�e: 16.41 cm x 3.23 cm x 23.77 cm. Bestandsnummer des Verk�ufers 47234

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Interactive Theorem Proving and Program ...

Verlag: Springer

Erscheinungsdatum: 2004

Einband: Hardcover

Zustand: Gut

Auflage: 2004.

�ber diesen Titel

Inhaltsangabe:

<P>A PRACTICAL INTRODUCTION TO THE DEVELOPMENT OF PROOFS AND CERTIFIED PROGRAMS USING COQ. </P> <P>AN INVALUABLE TOOL FOR RESEARCHERS, STUDENTS, AND ENGINEERS INTERESTED IN FORMAL METHODS AND THE DEVELOPMENT OF ZERO-FAULT SOFTWARE.</P>

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

Vielen Dank f�r Ihr Interesse an unserem Antiquariatsbestand. Alle unsere B�cher lagern in Deutschland und werden t�glich von Montag bis Samstag ausgeliefert. Der Versand erfolgt mittels DHL / Deutsche Post. Wir freuen uns �ber Ihren Auftrag!

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

M�ander Quell GmbH
Postgasse 7, Rorbas, 8427, Switzerland

Gesch�ftsbedingungen:

ALLGEMEINE GESCH�FTSBEDINGUNGEN MIT KUNDENINFORMATIONEN
Inhaltsverzeichnis
Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Alternative Streitbeilegung
Verhaltenskodex

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") der M�ander Quell GmbH (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?Kunde?) mit dem...

Mehr Information

Versandinformationen:

Der Versand erfolgt aus unserem Lager in Deutschland heraus. F�r
Kunden aus der EU fallen also keine Einfuhrabgaben an. Kunden aus der
Schweiz m�ssen ab einem Gesamtwert von 200 CHF Einfuhrabgaben
zahlen.
Zur Bezahlung stehen ein EU-Bankkonto zur Verf�gung.

Impressum & Info zum Verk�ufer

Zahlungsarten
akzeptiert von diesem Verk�ufer

Rechnung

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Interactive Theorem Proving and Program Development:...

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Coq Art: The Calculus of Inductive Constructions

Bertot, Yves, Pierre Cast�ran und C. Paulin-Mohring:

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers