Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Sehr geehrte Kunden, aufgrund des Feiertages ist der Kundensupport heute nicht verfügbar. Ihre Anfragen werden am folgenden Arbeitstag bearbeitet. Wir danken Ihnen für Ihr Verständnis.

Interactive Theorem Proving and Program Development

Name: Interactive Theorem Proving and Program Development
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 02129635
Price: 89.39 EUR
Availability: InStock
Author: Yves Bertot
ISBN: 9783642058806

Coq'Art: The Calculus of Inductive Constructions

Sprache

Englisch

Buch Broschur

Libristo-Code: 02129635

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Dezember 2010

A practical introduction to the development of proofs and certified programs using Coq. §An invaluab...

Libristo-Code: 02129635

219 b

89.39 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Lambda Calculus with Types Henk Barendregt

Hardcover

113.29 €

Types and Programming Languages Pierce

Hardcover

109.19 €

Four Pillars of Geometry John Stillwell

Hardcover

42.19 €

Computer Networks, Global Edition Andrew Tanenbaum

Broschur

112.39 €

Rust For Rustaceans Jon Gjengset

Broschur

36.59 €

Prisma Club Prisma Team

Broschur

29.79 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Interactive Theorem Proving and Program Development

Autor Yves Bertot, Pierre Castéran, G. Huet, C. Paulin-Mohring

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2010

Anzahl der Seiten 472

EAN 9783642058806

ISBN 3642058809

Libristo-Code 02129635

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 748

Abmessungen 155 x 235 x 26

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Interactive Theorem Proving and Program Development Yves Bertot

Hardcover

126.09 €

Let Over Lambda Doug Hoyte

Broschur

42.49 €

A Lambda Calculus Satellite Giulio Manzonetto

Broschur

34.29 €

Lambda Calculus. Its Syntax and Semantics Henk Barendregt

Broschur

32.79 €

Interactive Television Demystified Jerry Whitaker

Broschur

48.29 €

Letter to the Independent Whig, Occasioned by His Considerations of the Importance of Gibraltar to the British Empire Britannus

Hardcover

27.89 €

An Introduction to Classical and Modal Logics Adam Bjorndahl

Broschur

37.59 €

Understanding Central Europe Marcin Moskalewicz

Broschur

68.39 €

Last Great Mountain: The First Ascent of Kangchenjunga Mick Conefrey

Broschur

20.89 €

Berserk Deluxe Volume 7 Kentaro Miura

Hardcover

42.69 €

The Anne of Green Gables Devotional: A Chapter-By-Chapter Companion for Kindred Spirits Rachel Dodge

Hardcover

14.29 €

Meditation For Beginners: Meditation for Life: How to Meditate! (meditation for beginners, meditation, meditation techniques, how to meditate, m Michelle Gretta

Broschur

13.59 €