amir pnueli
Perspectives of Systems Informatics
EbookSofort lieferbarThis book contains thoroughly refereed and revised papers from the 7th International Andrei Ersho...
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...
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
Compositionality: The Significant Difference
EbookSofort lieferbarThis book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad...
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...
Hybrid Systems: Computation and Control
TaschenbuchPrint on DemandThis volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Con...
- 1