Vom 20.12.2025 bis 11.01.2026 ist die Universitätsbibliothek geschlossen. Ab dem 12.01.2026 gelten wieder die regulären Öffnungszeiten. Ausnahme: Medizinische Hauptbibliothek und Zentralbibliothek sind bereits ab 05.01.2026 wieder geöffnet. Weitere Informationen
  • Interactive theorem proving an...
  • Mehr Informationen

Treffer: Interactive theorem proving and program development

Titel:
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot ; Pierre Castéran
Verantwortlich:
Bertot, Yves; Castéran, Pierre
Veröffent­licht:
Berlin [u.a.] : Springer, 2004
Umfang:
XXV, 469 S. ; 24 cm
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Texts in theoretical computer science
Anmerkungen:
Literaturverz. S. 453 - 457
RVK-Notation:
ST 130
Schlagworte:
ISBN:
9783642058806 ; 9783540208549

Zusatz-Informationen

Zusatz-Funktionen