Record Nr.

UNISA990002415780203316

Autore

International conference on tools and algorithms for the construction and analysis of systems : <10.; : 2004

Titolo

Tools and algorithms for the construction and analysis of systems : 10th International Conference, TACAS 2004 : held as part of the joint european conferences : on theory and practice of software, ETAPS 2004 : proceedings / Kurt Jensen, Andreas Podelski (eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2004

ISBN

3-540-21299-X

Descrizione fisica

XIV, 608 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 2988

Collocazione

001 LNCS 2988

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia