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

Prix à partir de
11,58

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

Amazon ATS PROGRAMMING FOR VERIFIED SOFTWARE DEVELOPMENT: Mathematically proven correctness and type safety in systems programming
Description Description
Product Specifications Spécifications du produit
Related Products Produits connexes
?>
Next
Previous

Comparer les boutiques en ligne (2)

Shop
Prix
Affranchissement
Prix total
Amazon Logo
11,58 €
3,00 €
14,58 €
Voir l’offre
3,00 € Shipping Costs
Amazon Marketplace Logo
11,58 €
3,00 €
14,58 €
Voir l’offre
3,00 € Shipping Costs
Description (1)

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798270868505

Prix mis à jour pour la dernière fois le :

Independently Published

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

11,77 €
Comparer 2 magasins 2 magasins

CRC Press

Embedded Software Development for Safety Critical Systems

126,68 €
Comparer 2 magasins 2 magasins

CRC Press

Embedded Software Development for Safety critical Systems

54,33 €
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
Choix en vedette
11,58 €
Voir l’offre