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)
Add this copy of Formal Methods and Software Development. Proceedings of to cart. $65.75, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1985 by Springer.