The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science Number 61)
by:
D. Bjorner
·
C. B. Jones
Paperback
details (
United States
).
ISBN: 978-0-387-08766-5
ISBN-10: 0-387-08766-4
Springer
See also:
2008
Taschenbuch
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, Band 61)