PROGRAM = PROOF

Prijzen vanaf
31,91

Uitgelicht

VERGELIJK ALLE AANBIEDERS (2)

Beschrijving

Amazon Pages: 559, Paperback, Independently published
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 (1)

Pages: 559, Paperback, Independently published

Productspecificaties

Merk Majosta
EAN
  • 9798615591839

A Survey of Program Proof Technology

25,99
Meer informatie Meer info

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

97,44
Meer informatie Meer info

The Program Program: Alabama

13,62
Meer informatie Meer info
Uitgelichte Keuze
31,91
Naar shop