Record Nr.

UNISA990001892760203316

Autore

International School on Formal Methods for the Design of Computer Communication and Software Systems <3. ; 2003 ; Bertinoro, Italy>

Titolo

Formal methods for software architectures : third international school on formal methods for the design of computer, communication, and software systems--software architectures, SFM 2003 : Bertinoro, Italy, September 22-27, 2003 : advanced lectures / Marco Bernardo, Paola Inverardi (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-20083-5

Descrizione fisica

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

Collana

Lecture notes in computer science ; 2804

Disciplina

005.3

Collocazione

001 LNCS 2804

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia