1.SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION 2. SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION CLIFF B JONES The University, Manchester, England c…
1.SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION 2. SYSTEMATIC SOFTWARE DEVELOPMENT USING VDM SECOND EDITION CLIFF B JONES The University, Manchester, England c…