Practical Formal Methods with Vdm (Mcgraw Hill International Series in Software Engineering)
by Darrel Ince, Derek Andrews
ISBN 13: 9780077072148
Format: Paperback (450 pages) Publisher: McGraw-Hill Publishing Co. Published: 01 Sep 1991
Save for later