Record Nr.

UNISA990001856680203316

Autore

International symposium of formal methods europe <2003 ; Pisa, Italy>

Titolo

FME 2003 : formal methods : International simposium of formal metods europe : Pisa, Italy, September 8-14, 2003 : proceedings / Keijiro Araki, Stefania Gnesi, Dino Mandrioli (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-40828-2

Descrizione fisica

XVII, 942 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2805

Collocazione

001 LNCS 2805

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia