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: 109.00 EUR
(Preis aktualisiert am 15.04.2025)

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...