Record Nr.

UNISA990001893230203316

Autore

Anniversary colloquium of the United Nations University and the International Institute for software technology <10. ; 2002 ; Lisbon, Portugal>

Titolo

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University : Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2003

ISBN

3-540-20527-6

Descrizione fisica

XIV, 453 p. : ill. ; 24 cm.

Collana

Lecture notes in computer science ; 2757

Disciplina

005.1

Collocazione

001 LNCS 2757

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia