eerke boiten
Refinement in Z and Object-Z
EbookSofort lieferbarRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
Refinement
EbookSofort lieferbarRefinement is one of the cornerstones of a formal approach to software engineering. Refinement is...
Refinement in Z and Object-Z
EbookSofort lieferbarRefinement is one of the cornerstones of the formal approach to software engineering, and its use...
Mathematics of Program Construction
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 6th International Conference on Mathematics...
Integrated Formal Methods
EbookSofort lieferbarThe fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...
Refinement in Z and Object-Z
BuchBezug 11-15Refinement is one of the cornerstones of the formal approach to software engineering, and its ...
Mathematics of Program Construction
TaschenbuchBezug 11-15ThisvolumecontainstheproceedingsofMPC2002,thesixthinternationalc- ferenceontheMathematicsofProgra...
Integrated Formal Methods
TaschenbuchBezug 11-15The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, ...
Refinement in Z and Object-Z
TaschenbuchBezug 11-15Refinement is one of the cornerstones of the formal approach to software engineering, and its ...
Refinement
BuchBezug 11-15Refinement is one of the cornerstones of a formal approach to software engineering. Refinement...
Refinement
TaschenbuchBezug 11-15Refinement is one of the cornerstones of a formal approach to software engineering. Refinement...
- 1