Yves Bertot: Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions

Autor: Yves Bertot

hardback
Kategorie: Programmierung / Softwareentwicklung
Kategorie: Informatik
Kategorie: Computer & Internet: Allgemein
Kategorie: Softwareentwicklung
Kategorie: Künstliche Intelligenz
Kategorie: Rechnerarchitektur & Logikschaltungen
Kategorie: Systemanalyse- & Design
Kategorie: Mathematische Logik
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Preis: 119.34 EUR
(Preis aktualisiert am 19.09.2024)

Kostenloser Versand nach Österreich, Deutschland, Schweiz und EU mehr

Bewertung der Leser und Kommentare: Amazon

Weitere Angebote

Auf der Suche nach einem günstigeren Preis...