1.

Record Nr.

UNISANNIORMS1173283

Autore

International School on Formal Methods for the Design of Computer, Communication and Software Systems :  <4. :  ; 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, 2004

ISBN

3540230688

Descrizione fisica

VI, 293 p. ; 24 cm.

Collana

Lecture notes in computer science / edited by G. Goos and J. Hartmanis ; 3185

Disciplina

004

004.33

Soggetti

Elaborazione dei dati - Congressi - 2004

Collocazione

COLL.     ING.                    LNCS

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia