Jämför priser
Inbunden
Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions
Beskrivning:
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
Fakta
- ISBN:
- 9783540208549
- Bandtyp:
- Inbunden
- Utgiven:
- 2004-05
- Språk:
- Engelska
- Antal Sidor:
- 472
- ISBN-10:
- 3540208542
Priser hos nätbutiker
| Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
|---|---|---|---|---|---|---|
 |
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden | 743.00 kr | I lager | Uppgift saknas | 743.00 kr | Till butik |
 |
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 793.00 kr | I lager | 2-5 dagar | 793.00 kr | Till butik |
 |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 856.00 kr | I lager | 2-5 dagar | 856.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!
