1.

Record Nr.

UNISA990000211240203316

Titolo

KORSO : methods, languages, and tools for the construction of correct software : final report / Manfred Broy ... [etc.] (eds.)

Pubbl/distr/stampa

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

ISBN

3-540-60589-4

Descrizione fisica

X, 449 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 1009

Disciplina

0051

Collocazione

001 LNCS (1009)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia