The Vienna Development Method: The Meta-Language

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:book
gptkbp:author Cliff B. Jones
Dines Bjørner
https://www.w3.org/2000/01/rdf-schema#label The Vienna Development Method: The Meta-Language
gptkbp:ISBN 978-3-540-11499-7
gptkbp:language English
gptkbp:publicationYear 1982
gptkbp:publisher gptkb:Springer-Verlag
gptkbp:subject gptkb:VDM
formal methods
software engineering
gptkbp:bfsParent gptkb:VDM_(Vienna_Development_Method)
gptkbp:bfsLayer 7