Ebook: Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
- Tags: Software Engineering, Programming Languages Compilers Interpreters, Logics and Meanings of Programs
- Series: Lecture Notes in Computer Science 186
- Year: 1985
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the book Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985 for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)