1.

Record Nr.

UNISA990000210510203316

Autore

International symposium of formal methods Europe : 2. : 1994

Titolo

FME'94 : industrial benefit of formal method : second International symposium of formal methods Europe : Barcelona, Spain, October 24-28, 1994 : proceedings / Maurice Naftalin, Tim Denvir (eds.)

Pubbl/distr/stampa

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

ISBN

3-540-58555-9

Descrizione fisica

XI, 723 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 873

Disciplina

004

Collocazione

001 LNCS (873)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia