Biblioteca da Universidade do Minho

Your cart is empty.

Your search returned 2 results. Subscribe to this search

|
Interactive theorem proving and program development : Coq'Art - the calculus of inductive constructions / Yves Bertot, Pierre Castéran ; foreword by Gérard Huet and Christine Paulin-Mohring Monografia Publication Berlin : Springer, cop. 2004 Description XV, 469 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (4). Checked out (1).

Place hold Add to cart
Types for proofs and programs : revised selected papers / International Workshop, TYPES 2004 ; ed. Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner Monografia Publication Berlin : Springer, cop. 2006 Description VIII, 273 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Place hold Add to cart