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) (3540151990) by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher @ BookFinder.com

	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, Christiane Floyd, Maurice Nivat, James Thatcher ISBN 3540151990 / 9783540151999 / 3-540-15199-0 Publisher Springer London, Limited Country Germany Language English Edition Softcover Find All Copies › Find collectible copies of '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)'

Serendipity:

		Search \| About \| Preferences \| Interact \| Help

150 million books. 1 search engine.	Search Author, Title or ISBN

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)