Integrated formal methods /
Grieskamp,Wolfgang (ed.)
Integrated formal methods / Grieskamp,Wolfgang (ed.). - 2nd international co - Berlin: Springer, 2000. - x,439p;23cm - Lecture notes in computer science; no 1945 .
Includes bibliographical references.
354041196
004 LEC
Integrated formal methods / Grieskamp,Wolfgang (ed.). - 2nd international co - Berlin: Springer, 2000. - x,439p;23cm - Lecture notes in computer science; no 1945 .
Includes bibliographical references.
354041196
004 LEC