Dines Bjørner · 7 obras en el catálogoObrasSoftware Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)VVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software DevelopmentDDomain Science and EngineeringDomain Science and EngineeringSSoftware Engineering 3Software Engineering 3PPerspectives of System InformaticsPerspectives of System InformaticsSSoftware Engineering 2Software Engineering 2SStructure of Pure ReasonStructure of Pure Reason
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
VVDM '90. VDM and Z - Formal Methods in Software DevelopmentVDM '90. VDM and Z - Formal Methods in Software Development
