Record Nr.

UNISA990001852980203316

Autore

International conference on formal methods for open object-based distributed systems < 6. ; 2003 ; Paris, France>

Titolo

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003 : Paris, France, November 19-21, 2003 : proceedings / ie Najm, Uwe Nestmann, Perdita Stevens (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-20491-1

Descrizione fisica

X, 292 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2884

Disciplina

005.131

Soggetti

Programmazione orientata oggetti - Congressi

Collocazione

001 LNCS 2884

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia