Record Nr.

UNISA990000211270203316

Titolo

Tools and algorithms for the construction and analysis of systems : Aarhus, Denmark, May 19-20, 1995 / E. Brinksma ... [etc.] (eds.)

Pubbl/distr/stampa


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

ISBN

3-540-60630-0

Descrizione fisica

289 p. : ill. ; 25 cm

Collana

Lecture notes in computer science ; 1019

Disciplina

00512

Collocazione

001 LNCS (1019)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia