Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification

1/1
Prix à partir de
30,49

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification
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
30,49 €
Gratuit
30,49 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
30,49 €
Gratuit
30,49 €
Voir l’offre
Gratuit Shipping Costs
Description (1)

Formal Software Development with Event-B: A Practical Guide to Modelling, Refinement, and Verification

Spécifications du produit

Marque Springer
EAN
  • 9783032312426

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

HiTeX Press

Mastering Agda: A Practical Guide to Dependently Typed Programming and Formal Verification

37,10 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins

Independently Published

Modern Linux Application Development: A Practical Guide to Building, Packaging and Deploying Software

17,99 €
Comparer 2 magasins 2 magasins

Packt Publishing

the GitHub Copilot Handbook: A practical guide to transforming software development life cycle with

22,99 €
Comparer 2 magasins 2 magasins
Choix en vedette
30,49 €
Voir l’offre