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

Prijzen vanaf
11,90

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

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

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Logo
11,90
Gratis
11,90
Naar shop
Gratis Shipping Costs
Amazon Marketplace Logo
11,90
Gratis
11,90
Naar shop
Gratis Shipping Costs
Beschrijving (0)

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

Productspecificaties

Merk Independently Published
EAN
  • 9798194386505

Independently Published

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

11,89
Vergelijk 2 shops 2 shops

Independently Published

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

12,99
Vergelijk 2 shops 2 shops

OmniScriptum

Automated Reasoning: computer science, Reasoning, Artificial intelligence, Theoretical theorem proving, Interactive proving

31,57
Vergelijk 2 shops 2 shops

Interactive Theorem Proving and Program Development

97,99
Meer informatie Meer info
Uitgelichte Keuze
11,90
Naar shop