opac header image

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

© 2022 Central Library, Tezpur University.
For any query, please contact Phone: 03712-27-3224 | Email: library@tezu.ernet.in