Search Books

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

Publisher Springer-Verlag
📄 Viewing lite version Full site ›
🌎 Shop on Amazon — choose country
71.95 USD
🛒 Buy New on Amazon 🇺🇸 🏷 Buy Used — $0.62
Share:
Book Details
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".