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

Prix à partir de
11,77

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

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
11,77 €
3,00 €
14,77 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,77 €
3,00 €
14,77 €
Voir l’offre
3,00 € 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

Independently Published

ATS programming FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems

11,58 €
Comparer 2 magasins 2 magasins

Independently Published

LEAN PROGRAMMING for FORMAL SOFTWARE VERIFICATION: Mathematical proof systems and logical frameworks verified computation

11,78 €
Comparer 2 magasins 2 magasins

Independently Published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably...

11,69 €
Comparer 2 magasins 2 magasins

Majosta

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

36,30 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,77 €
Voir l’offre