Format:
XI, 434 S.
,
graph. Darst.
ISBN:
3540610421
Series Statement:
Lecture notes in computer science 1055
Note:
Literaturangaben
Additional Edition:
Erscheint auch als Online-Ausgabe Margaria-Steffen, Tiziana, 1964 - Tools and Algorithms for the Construction and Analysis of Systems Berlin, Heidelberg : Springer Berlin Heidelberg, 1996 ISBN 9783540498742
Additional Edition:
Erscheint auch als Online-Ausgabe Tools and algorithms for the construction and analysis of systems Berlin [u.a.] : Springer, 1996 ISBN 9783540498742
Language:
English
Subjects:
Computer Science
Keywords:
Verteiltes System
;
Systemtheorie
;
Konferenzschrift
;
Aufsatzsammlung
URL:
http://www.loc.gov/catdir/enhancements/fy0815/96004088-d.html
Author information:
Margaria-Steffen, Tiziana 1964-