PakCat catalogue record Practical formal methods with VDM NULL By NULL Bibliographic details PublisherBlank Material typeBook Physical descriptionxvi, 450p. SubjectsNULL