Zu "software specification" wurden 2 Produkte gefunden
HOME
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
32,50 €*
Preise inkl. MwSt. zzgl. Versandkosten
Structured Object-Oriented Formal Language and Method
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten