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

Prijzen vanaf
11,79

Uitgelicht

VERGELIJK ALLE AANBIEDERS (1)

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 (1)

Shop
Prijs
Verzendkosten
Totale prijs
Amazon Marketplace Logo
11,79
Gratis
11,79
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,78
Vergelijk 2 shops 2 shops

Independently Published

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

12,87
Vergelijk 2 shops 2 shops

OmniScriptum

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

28,72
Vergelijk 2 shops 2 shops
-8%

Theoretical Computer Science and General Issues Interactive Theorem Proving

46,99
Meer informatie Meer info
Uitgelichte Keuze
11,79
Naar shop