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

1/1
Prix à partir de
30,78

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
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
30,78 €
Gratuit
30,78 €
Voir l’offre
Gratuit Shipping Costs
Amazon Marketplace Logo
30,78 €
Gratuit
30,78 €
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

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

CREATESPACE

Vibe Coding with Python: A Practical Guide to AI-Powered Software Development

27,29 €
Comparer 2 magasins 2 magasins

Independently Published

Vibe Coding with Java: A Practical Guide to AI-Powered Software Development

27,86 €
Comparer 2 magasins 2 magasins
Choix en vedette
30,78 €
Voir l’offre