Preisvergleich / Wohnen / Büro / Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

Formal Methods and Software Engineering, Fachbücher von Mark Liu, Kazuhiro Lawford, Shaoying, Ogata

53,49 €

Abstraction, refinement and evolution.- Formal specification and modeling.- Program analysis.- Formal verification.- Model checking.- Formal approaches to software testing and inspection.- Formal methods for self-adaptive systems.- Formal methods for object-oriented systems.- Formal methods for component-based systems.- Tool development, integration and experiments involving verified systems.- Formal model-based development and code generation. .

Deine Shops für beste Deals

Logo - Galaxus

Galaxus

26 Punkte
% Best Deal

53,49 €

zum Shop
Versandkostenfrei | Lieferzeit: 2-4 Werktage

Ähnliche Produkte

Produktinfos

Informationen

Lieferzeit:2-4 Werktage
Hersteller:Springer