1.

Record Nr.

UNISA990000208190203316

Autore

Geurts, Frédéric

Titolo

Abstract compositional analysis ofiterated relations : a structural approach to complex state transition systems / Frédéric Geurts

Pubbl/distr/stampa

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

ISBN

3-540-65506-9

Descrizione fisica

XIV, 280 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 1426

Disciplina

0057

Collocazione

001 LNCS (1426)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia