zohar manna
The Calculus of Computation
EbookSofort lieferbarComputational logic is a fast-growing field with applications in artificial intelligence, constra...
Time for Verification
EbookSofort lieferbarThis volume is dedicated to the memory of the 1996 Turing Award winner Amir Pnueli. It contains ...
The Temporal Logic of Reactive and Concurrent Systems
EbookSofort lieferbarReactive systems are computing systems which are interactive, such as real-time systems, operatin...
Temporal Verification of Reactive Systems
EbookSofort lieferbarThis book is about the verification of reactive systems. A reactive system is a system that maint...
Temporal Verification of Reactive Systems
BuchBezug 11-15This book is about the verification of reactive systems. A reactive system is a system that maint...
The Temporal Logic of Reactive and Concurrent Systems
TaschenbuchBezug 11-15Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
The Temporal Logic of Reactive and Concurrent Systems
BuchBezug 16-20Reactive systems are computing systems which are interactive, such as real-time systems, operatin...
Temporal Verification of Reactive Systems
TaschenbuchBezug 16-20This book is about the verification of reactive systems. A reactive system is a system that maint...
- 1