Tools and algorithms for the construction and analysis of systems /
Graf,Susanne (ed.)
Tools and algorithms for the construction and analysis of systems / Graf,Susanne (ed.). - 6th International Co - Berlin: Springer, 2000. - xiv,552p;23cm - Lecture notes in computer science-No-1795579 .
Includes bibliographical references.
354067282657
004 LEC
Tools and algorithms for the construction and analysis of systems / Graf,Susanne (ed.). - 6th International Co - Berlin: Springer, 2000. - xiv,552p;23cm - Lecture notes in computer science-No-1795579 .
Includes bibliographical references.
354067282657
004 LEC