This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in top [...]
Visa längre beskrivning
Butik | Mervärde | Pris | Tillgänglighet | Leveranstid | Inkl frakt | Länkar |
---|---|---|---|---|---|---|
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 875.00 kr | I lager | 1-2 dagar | 875.00 kr | Till butik | |
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 895.00 kr | I lager | 2-5 dagar | 895.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!