Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Author: Hartmut Ehrig
Publisher: Springer
Published: 1985-03-01
Total Pages: 476
ISBN-13: 9783540151999
DOWNLOAD EBOOK