PakCat catalogue record Systematic software development using VDM By Jones, Cliff B. Bibliographic details ISBN0138807337 PublisherPrentice Hall Publication placeNew York Publication year1990 Edition2 Material typeBook Physical description333 SubjectsComputer softwareIntraocular lenses-SurgeryLenses-Surgery