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

Beteiligt:

Veröffentlicht:

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:

Schlagworte:

ISBN:

9783642058806 ; 9783540208549

Zusatz-Informationen