Record Nr.

UNISA990001755730203316

Titolo

Types for proofs and programs : international workshop, TYPES 2002 : Berg en Dal, The Netherlans, April 24 - 28, 2002 : Selected Papers / Herman Geuvers, Freek Wiedijk (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-14031-X

Descrizione fisica

VIII, 330 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2646

Collocazione

001 LNCS 2646

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia