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

Buy New on Amazon 🇫🇷

Book Details

PublisherSpringer-Verlag

ISBN / ASIN0387176543

ISBN-139780387176543

MarketplaceFrance 🇫🇷

Description

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