This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the most i [...]
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 | 1242.00 kr | I lager | 5-9 dagar | 1242.00 kr | Till butik |
Obs! Glöm inte att alltid kolla priset hos återförsäljaren!