Result: Interactive theorem proving and program development

*Title*:

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions / Yves Bertot ; Pierre Castéran

*Author/editor-in-chief*:

*Publication*:

Berlin [u.a.] : Springer, 2004

*Physical description scale*:

XXV, 469 S. ; 24 cm

*Format*:

*book*

*Language*:

*eng*

*series_multipart*:

Texts in theoretical computer science

*Notes*:

Literaturverz. S. 453 - 457

*RVK-Notation*:

*Subject Added Keywords*:

*ISBN*:

9783642058806 ; 9783540208549

*Result*: Interactive theorem proving and program development