Record Nr.

UNISA990000204730203316

Titolo

FME'93 : industrial-strength formal methods: first international symposium, Odense, Denmark, April 19-23, 1993 :proceedings / J. C. P. Woodcock (ed.)

Pubbl/distr/stampa


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

ISBN

3-540-56662-7

Descrizione fisica

XI, 689 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 670

Disciplina

004

Collocazione

001 LNCS 670

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia