Record Nr.

UNISA990001109110203316

Autore

International conference of B and Z users <2.; 2002 ; Grenoble ; France>

Titolo

ZB 2002: Formal specification and development in Z and B : 2th International conference of B and Z users : Grenoble,France,January, 2002 : proceedings / Didier Bert... <et al.> (eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer-Verlag, copyr. 2002

ISBN

3-540-43166-7

Descrizione fisica

XII,533 p. : ill. ; 20 cm

Collana

Lecture notes in computer science ; 2272

Disciplina

005.133

Collocazione

001 LNCS (2272)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia