PROGRAM = PROOF

Prijzen vanaf
31,91

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

PROGRAM = PROOF

Description Beschrijving
Product Specifications Productspecificaties
Gerelateerde resultaten Gerelateerde resultaten
Next
Previous

Vergelijk aanbieders (2)

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

PROGRAM = PROOF

Productspecificaties

Merk Independently Published
EAN
  • 9798615591839

OmniScriptum

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

28,72
Vergelijk 2 shops 2 shops

Proof And Computation Ii: From Theory Univalent Mathematics To Program Extraction Verification

99,99
Meer informatie Meer info

Independently Published

THE PROOF IS IN WORK: How program directors build systems to consistently renew funding

17,30
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
Uitgelichte Keuze
31,91
Naar shop