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

Prix à partir de
12,64

Liens sponsorisés

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)

Liens sponsorisés · Certaines boutiques nous versent une rémunération

Trier par:

12,64 € Total 15,64 €

12,64 € Total 15,64 €

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,64 €
Comparer 2 magasins 2 magasins

Springer

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

56,42 €
Comparer 2 magasins 2 magasins

Independently Published

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

12,64 €
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
Choix en vedette
12,64 €
Voir l’offre