{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"VDM '88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science)","author_name":"","thumbnail_url":"https://www.ebooknetworking.net/books/354/050/big3540502149.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-3540502149.html\">VDM &#039;88. VDM - The Way Ahead: 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988. Proceedings (Lecture Notes in Computer Science)</a>","width":400,"height":300}