C.A.R. Hoare · 5 obras en el catálogoObrasVzaimodejstvujus c ie posledovatel'nye processyVDM '90 VDM and Z -- Formal Methods in Software DevelopmentVVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software DevelopmentCCommunicating Sequential ProcessesCommunicating Sequential ProcessesLLogic of Programming and Calculi of Discrete DesignLogic of Programming and Calculi of Discrete Design
VVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software Development
LLogic of Programming and Calculi of Discrete DesignLogic of Programming and Calculi of Discrete Design
