Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science)
by Hartmut Ehrig
No users with this book on their shelves. Maybe you could be the first.
No lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science) (1986)
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, ... (CSE) (Lecture Notes in Computer Science) (1986)
Springer
Springer
Paperback
Paperback
ISBN 10: 3540151990
ISBN 13: 9783540151999
Buy on Amazon