Record Nr.

UNISA990002979430203316

Autore

International workshop TYPES 2004 : <2004 ; : Jouy-en-Josas>

Titolo

Types for proofs and programs : International workshop, TYPES 2004 : Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers / Jean-Christophe Filliâtre... [et al.] (eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2006

ISBN

3-540-31428-8

Descrizione fisica

VIII, 272 p. : ill. ; 23 cm

Collana

Lecture notes in computer science ; 3839

Disciplina

511.30285

Soggetti

Logica matematica - Congressi - Jouy-en-Josas - 2004

Collocazione

001 LNCS 3839

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia