Record Nr.

UNISA990002961740203316

Autore

International school on formal methods dor the design of computer : <2004

Titolo

Formal methods for the design of real-time systems : international school on formal methods for the design of computer, communication and software systems, SFM-RT 2004 : Bertinoro, Italy, September 13-18, 2004 : revised lectures / Marco Bernardo, Flavio Corradini (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2004

ISBN

3-540-23068-8

Descrizione fisica

VI, 293 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 3185 , Tutoral

Disciplina

005.1

Soggetti

Informatica - Congressi - Bertinoro - 2004

Collocazione

001 LNCS 3185

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia