VERIFIED SOFTWARE ARCHITECTURE: Proof Oriented Design Type Systems Formal Specifications and Reliability Engineering for Critical Applications

Prix à partir de
12,70

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (1)

Description

VERIFIED SOFTWARE ARCHITECTURE: Proof Oriented Design Type Systems Formal Specifications and Reliability Engineering for Critical Applications

Description Description
Product Specifications Spécifications du produit
Résultats connexes Résultats connexes
Next
Previous

Comparer les boutiques en ligne (1)

Shop
Prix
Affranchissement
Prix total
Amazon Marketplace Logo
12,70 €
Gratuit
12,70 €
Voir l’offre
Gratuit Shipping Costs
Description (0)

VERIFIED SOFTWARE ARCHITECTURE: Proof Oriented Design Type Systems Formal Specifications and Reliability Engineering for Critical Applications

Spécifications du produit

Marque Independently Published
EAN
  • 9798194387458

Independently Published

Software Reliability for Safety-Critical and Mission-Critical Systems: Functional Safety, Real-Time Systems, Cyber...

33,93 €
Comparer 2 magasins 2 magasins

Independently Published

MASTERING LEAN FOR FORMAL VERIFICATION: Interactive theorem proving proof assistants and verified software development

11,78 €
Comparer 2 magasins 2 magasins

Independently Published

LEAN FOR FORMAL PROGRAM VERIFICATION: Interactive theorem proving proof assistants and mathematically...

12,87 €
Comparer 2 magasins 2 magasins

Independently Published

Engineering Long-Lived Systems: Modern Software Principles for Reliability, Scalability, and Maintainability

19,30 €
Comparer 2 magasins 2 magasins
Choix en vedette
12,70 €
Voir l’offre