Record Nr.

UNISA990002990430203316

Autore

International Conference, TACAS 2007-Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : <13; : 2007; >

Titolo

Tools and algorithms for the construction and analysis of systems : 13th International Conference, TACAS 2007 : Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 : Braga, Portugal, March/April 2007 : proceedings / Orna Grumberg, Michael Huth (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2007

ISBN

978-3-540-71208-4

Descrizione fisica

XX, 738 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 4424

Collocazione

001 LNCS 4424

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia