

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

Galaxus
Logge dich ein für Coupon Details
26 Punkte
% Best Deal
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktinfos
Informationen
Lieferzeit:2-4 Werktage
Hersteller:Springer