eerke a boiten
Refinement in Z and Object-Z
DigitalSofort lieferbarRefinement is one of the cornerstones of the formal approach to software engineering, and its ...
Refinement in Z and Object-Z
TaschenbuchPrint on DemandRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
Mathematics of Program Construction
TaschenbuchPrint on Demandthe IFIP WG2.1 working conference on Generic Programming, the third workshop on Constructive Meth...
Refinement in Z and Object-Z
BuchPrint on DemandRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
Refinement
BuchPrint on DemandRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is...
Refinement
TaschenbuchPrint on DemandRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is...
Refinement in Z and Object-Z
TaschenbuchBesorgungstitel - wird vorgemerktInhaltsangabePreface I: Refining Z Specifications:1. An Introduction to Z2. Simple Re...
- 1