The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. Th [...]
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 | 616.00 kr | I lager | 2-5 dagar | 616.00 kr | Till butik | |
Över 6 miljoner titlar Fraktfritt över 100kr Medmera-återbäring på alla köp | 649.00 kr | I lager | 2-5 dagar | 649.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!