Program design calculide M. BroyMateriasCongressesSystem designComputer engineeringEdiciones (1)Program design calculi (1993)Springer · inglésMás obras de M. BroySSoftware and systems safetySoftware and systems safetyModel-based testing of reactive systemsPerspectives of system informatics