Certified Programming with Dependent Types - A Pragmatic Introduction to the Coq Proof Assistant
EAN 9780262026659
Utsolgt i alle butikker nå
Priser i 1 butikk
Priser inkl. mva., uten frakt. Sjekk prisen i butikken før du kjøper.
Prishistorikk
Laveste pris blant butikkene som har varen på lager.
Grafen fylles ut etter hvert som vi samler prishistorikk for varen.