| VDM '87. VDM - a Formal Method at Work VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings | | | Editor:
| Bjorner, Dines
Jones, Cliff
Mac An Airchinnigh, Michael
Neuhold, Erich J. | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-540-47740-2 | | Publication Date: | Jan 2006 | | Publisher: | Springer
| | Book Format: | Ebook | | List Price: | USD $119.00 |
| |