FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

Prix à partir de
12,74

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

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
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
12,74 €
3,00 €
15,74 €
Voir l’offre
3,00 € Shipping Costs
Description (0)

FORMAL Program VERIFICATION: Mathematical Proofs Correctness Specification and Reliable Software

Spécifications du produit

Marque Independently Published
EAN
  • 9798170632657

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins

Independently Published

VERIFIED SOFTWARE DEVELOPMENT: Program Correctness Formal Specifications Proof Methods and Reliable Systems

11,84 €
Comparer 2 magasins 2 magasins

Independently Published

FORMAL METHODS FOR SOFTWARE ENGINEERING: Verification Techniques Program Analysis Specifications and Correctness

12,74 €
Comparer 2 magasins 2 magasins

Independently Published

COMPUTER ASSISTED MATHEMATICS: Formal Proofs Symbolic Reasoning Mathematical Structures and Verification

11,84 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,74 €
Voir l’offre