THEOREM PROVING and VERIFIED COMPUTING: Interactive Proof Systems Logical Reasoning Formal Development Computer Assisted Mathematics

Prix à partir de
11,73

En vedette

COMPARER TOUS LES MAGASINS EN LIGNE (2)

Description

THEOREM PROVING and VERIFIED COMPUTING: Interactive Proof Systems Logical Reasoning Formal Development Computer Assisted Mathematics

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

THEOREM PROVING and VERIFIED COMPUTING: Interactive Proof Systems Logical Reasoning Formal Development Computer Assisted Mathematics

Spécifications du produit

Marque Independently Published
EAN
  • 9798194386505

Independently Published

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

11,72 €
Comparer 2 magasins 2 magasins

Independently Published

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

12,81 €
Comparer 2 magasins 2 magasins

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving VOL 1

15,99 €
Comparer 2 magasins 2 magasins

Springer

Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions

89,66 €
Comparer 2 magasins 2 magasins
Choix en vedette
11,73 €
Voir l’offre