Mathematical methods in program developmentde M. BroyMateriasDevelopmentMathematical methodsComputer programmingComputer softwareEdiciones (1)Mathematical methods in program development (1997)Springer · inglésMás obras de M. BroySSoftware and systems safetySoftware and systems safetyModel-based testing of reactive systemsPerspectives of system informatics