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.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
1987
Page
422
ISBN
978-3-540-17654-1,978-3-540-47740-2
File Type
pdf
File Size
11.4 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book