Record Nr.

UNISA990000209050203316

Autore

International conference of Z users : 11. : 1998

Titolo

The Z formal specification notation : 11th international conference of Zusers Berlin, Germany, September 24-26, 1998 prooceedings / Jonathan P. Bowen ... [et al.] (eds.) (ZUM'98)

Pubbl/distr/stampa


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

ISBN

3-540-65070-9

Descrizione fisica

XV, 415 p. : ill. ; 20 cm

Collana

Lecture notes in computer science ; 1493

Disciplina

005133

Collocazione

001 LNCS (1493)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia