https://www.ebooknetworking.net/books_detail-0387176543.html

Vdm'87: Vdm-A Formal Method at Work : Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)

Name: Vdm'87: Vdm-A Formal Method at Work : Vdm-Europe Symposium 1987 (Lecture Notes in Computer Science)
Author: Unknown
ISBN: 9780387176543

PublisherSpringer-Verlag

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

71.95 USD

Buy New on Amazon 🇺🇸 Buy Used — $0.62

Book Details

PublisherSpringer-Verlag

ISBN / ASIN0387176543

ISBN-139780387176543

Sales Rank16,386,310

MarketplaceUnited States 🇺🇸

Description

Provides an account of the research into, and application of the Vienna Development Method (VDM), one of the most widely known "formal methods".