Gå direkte til innholdet
The Temporal Logic of Reactive and Concurrent Systems
Spar

The Temporal Logic of Reactive and Concurrent Systems

innbundet, 1991
Engelsk
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.
Undertittel
Specification
Opplag
1992 ed.
ISBN
9780387976648
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
18.12.1991
Antall sider
427