Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (a [...]
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 | 512.00 kr | I lager | 5-8 dagar | 512.00 kr | Till butik | |
Alltid störst sortiment Bonustrappa; samla inköp och få unika erbjudanden | 619.00 kr | I lager | 5-15 dagar | 619.00 kr | Till butik | |
Nordens största bokhandel med över 10 miljoner titlar. Alltid låga priser | 1000.00 kr | I lager | 2-5 dagar | 1000.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!