VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science (328), Band 328)

Bloomfield

von: Lynn S. Marshall · Roger B. Jones · Robin E. Bloomfield

Taschenbuch

ISBN-13: 978-3-540-50214-2

ISBN-10: 3-540-50214-9

Springer · 2008