The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for w [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 337.00 kr | I lager | 3-6 dagar | 337.00 kr | Till butik | |
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden | 459.00 kr | I lager | 5-15 dagar | 459.00 kr | Till butik | |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 467.00 kr | I lager | 2-5 dagar | 467.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!