Algebraic system specification and development : a survey and annotated bibliography /

Bibliographic Details

Other Authors:	Benoit, M. (Michel), 1957-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1991]
Series:	Lecture notes in computer science ; 501.
Subjects:	System design.