Formal Foundations for Software Engineering Methods by Heinrich Hussmann (Englis
68,59 €
Thirdly, a way of obtaining a hybrid formal-pragmatic specification using a combination of SSADM notations and formal (SPECTRUM) specifications is shown. by Heinrich Hußmann. - Alternative ways to an integration of SSADM and spectrum.
Jetzt bei Ebay: