Gå direkt till innehållet
The Temporal Logic of Reactive and Concurrent Systems
Spara

The Temporal Logic of Reactive and Concurrent Systems

inbunden, 1991
Engelska
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.
Undertitel
Specification
Upplaga
1992 ed.
ISBN
9780387976648
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
1991-12-18
Sidor
427