-
Recommended Copy
-
Recommended Copy
-
Recommended Copy
-
Recommended Copy
-
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (Tapsoft), Berlin, March 25-29, 1985: Volume 2: Colloquium on Software Engineering (CSE)
by Hartmut Ehrig (Editor), Christiane Floyd (Editor), Maurice Nivat (Editor)
Recommended Copy
-
Recommended Copy
-
Recommended Copy