Proof Assistants and Their Applications in Mathematics and Computer Science

fra 869,-

Tilgjengelig i 1 butikker

Frakt og levering

Produktinformasjon

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Topplisten: Other Brand Matematikk og naturfag

Heat How We Can Stop the Planet Burning

50,-

Why We Disagree About Climate Change Av Mike (University Of East Anglia) Hulme

150,-

Den lange vandringen

409,-

Norske Amfibier Og Reptiler (Feltherpetologisk Guide) Av Dag Dolmen

349,-

Field Guide To The Birds Of East Africa Av Terry Stevenson, John Fanshawe

489,-

Verda Mi Smeltar Av Line Nagell Ylvisåker

250,-

Vagrancy In Birds Av Dr Alexander Lees, Dr James Gilroy

476,-

Termostat Av Andrew P. Kroglund

79,-

Sapiens en kort historie om menneskeheten

99,-

No Straight Road Takes You There Essays for Uneven Terrain

199,-

Spesifikasjon

Produkt

Produktnavn	Proof Assistants and Their Applications in Mathematics and Computer Science
Merke	Other Brand

Pris og prishistorikk

Akkurat nå er 869,- den billigste prisen for Proof Assistants and Their Applications in Mathematics and Computer Science blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste matematikk og naturfag for å være sikker på at du gjør det beste kjøpet.