Record Nr.

UNISA990003088620203316

Autore

International workshop, CSL 2007 : <21; : 2007; >

Titolo

Computer science logic : 21st International workshop, CSL 2007 : 16th Annual conference of the EACSL : Lausanne, Switzerland, September 11-15, 2007 : proceedings / Jacques Duparc, Thomas A. Henzinger (eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2007

ISBN

978-3-540-74914-1

Descrizione fisica

XII, 600 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 4646

Disciplina

005.131

Soggetti

Informatica - Congressi - Lausanne - 2007

Collocazione

001 LNCS 4646

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia