FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Prix à partir de
11,83

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development
Description Description
Product Specifications Spécifications du produit
Related Products Produits connexes
?>
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
11,83 €
2,49 €
14,32 €
Voir l’offre
2,49 € Shipping Costs
Amazon Marketplace Logo
11,83 €
2,49 €
14,32 €
Voir l’offre
2,49 € Shipping Costs
Description (1)

FORMAL VERIFICATION FOR SOFTWARE SYSTEMS: Model checking correctness proofs and specification driven development

Spécifications du produit

Marque Independently Published
EAN
  • 9798243353243

Prix mis à jour pour la dernière fois le :

Majosta

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,47 €
Comparer 2 magasins 2 magasins

Independently Published

Test Driven Development: Software Evaluation and Modeling

9,86 €
Comparer 2 magasins 2 magasins

OmniScriptum

Feature Driven Development: Software Development process, Agile development, Systems Life Cycle, architecture,...

28,72 €
Comparer 2 magasins 2 magasins

Independently Published

Model Context Protocol Server Development for AI Systems: Building MCP Infrastructure, Tool...

19,62 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,83 €
Voir l’offre