The VDM-SL Reference Guide
Publisher: CRC
Published: December 31, 1991
Language: eng
Format: Paperback
Number of pages: 200
ISBN-13: 9780273031512
Subjects: General Theory of Computing; Computer Science; Computers / Computer Science; Computers - General Information