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

Prix à partir de
11,78

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

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

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

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

Spécifications du produit

Marque Independently Published
EAN
  • 9798194130320

Independently Published

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

12,87 €
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

OmniScriptum

Automated Theorem Proving: reasoning, Mathematical proof, Agda (theorem prover), theorem, Computer program,...

28,72 €
Comparer 2 magasins 2 magasins

Independently Published

Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification

36,47 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,78 €
Voir l’offre