The Temporal Logic of Reactive and Concurrent Systems
Specification
af Zohar Manna, m.fl.
Bog, Hardback, Engelsk, 1991
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.
Priser fra 4 boghandlere
- BoghandlerPrisFragtLevering
- SAXO839,95 kr.Gratis fragtUkendtKøb for 839,95 kr.Køb
- Bogreolen1.246,95 kr.0,00 kr.2-4 ugerKøb for 1.246,95 kr.Køb
- Tales1.247,95 kr.34,95 kr.2-4 ugerKøb for 1.247,95 kr.Køb
- Pling BØGER1.247,95 kr.34,95 kr.2-4 ugerKøb for 1.247,95 kr.Køb
Bogdetaljer
- SprogEngelsk
- IndbindingHardback
- ISBN9780387976648
- Udgivet18/12/1991
- Udgivet afSpringer-Verlag New York Inc.
- Længde427 sider
- ForfattereZohar Manna, Amir Pnueli
- GenreBusiness og læring, Computer og IT