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)
Sale price
$62.99
Regular price $69.99
Skip to product information
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)
Sale price
$62.99
Regular price $69.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science
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)
Hartmut Ehrig | Christiane Floyd | Maurice Nivat | James Thatcher
Computers / Software Development & Engineering / General
| Publication Date: | 01 March 1985 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783540151999 |
| Format: | Paperback / softback |
| Page Count: | 459 |