FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

Prix à partir de
12,70

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

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

FORMAL METHODS FOR Software ENGINEERING: Mathematical Modeling Specification Languages Program Verification and Reliable Systems

Spécifications du produit

Marque Independently Published
EAN
  • 9798194156603

Independently Published

RELIABLE COMPUTING THROUGH FORMAL VERIFICATION: Software Assurance Algorithm Verification Mathematical Proofs and...

12,70 €
Comparer 2 magasins 2 magasins

Independently Published

FORMAL SPECIFICATION and Systems ENGINEERING: Requirements Modeling Behavioral Verification Architecture Analysis Engineering of Dependable

12,70 €
Comparer 2 magasins 2 magasins

Springer

Formal Methods for Software Engineering: Languages, Methods, Application Domains

41,53 €
Comparer 2 magasins 2 magasins

Independently Published

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

11,83 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,70 €
Voir l’offre