C.A.R. HoareBooksVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90 VDM and Z -- Formal Methods in Software DevelopmentVzaimodejstvujus c ie posledovatel'nye processyLogic of Programming and Calculi of Discrete DesignCommunicating Sequential ProcessesAuthor data: Open Library
