Ebook: VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings
Author: Peter Lucas (auth.) Dines Bjørner Cliff B. Jones Mícheál Mac an Airchinnigh Erich J. Neuhold (eds.)
- Tags: Software Engineering
- Series: Lecture Notes in Computer Science 252
- Year: 1987
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the book VDM '87 VDM — A Formal Method at Work: VDM-Europe Symposium 1987 Brussels, Belgium, March 23–26, 1987 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)