-
Perspectives of Systems Informatics
EbookSofort lieferbarThis book contains thoroughly refereed and revi...
-
The Temporal Logic of Reactive and Concurrent Systems
EbookSofort lieferbarReactive systems are computing systems which ar...
-
Temporal Verification of Reactive Systems
EbookSofort lieferbarThis book is about the verification of reactive...
-
Hybrid Systems: Computation and Control
EbookSofort lieferbarThis volume contains the proceedings of the Six...
-
Compositionality: The Significant Difference
EbookSofort lieferbarThis book originates from the International Sym...
-
Temporal Logic in Specification
TaschenbuchPrint on DemandComparing linear and branching time temporal lo...
-
The Temporal Logic of Reactive and Concurrent Systems
TaschenbuchPrint on DemandReactive systems are computing systems which ar...
-
Temporal Verification of Reactive Systems
BuchPrint on DemandThis book is about the verification of reactive...
-
Temporal Verification of Reactive Systems
TaschenbuchPrint on DemandThis book is about the verification of reactive...
-
The Temporal Logic of Reactive and Concurrent Systems
BuchPrint on DemandReactive systems are computing systems which ar...
-
Compositionality: The Significant Difference
TaschenbuchPrint on DemandThis book originates from the International Sym...
-
Perspectives of Systems Informatics
TaschenbuchPrint on DemandThis volume contains the ?nal proceedings of th...
- 1
- 2
Folgen Sie uns auf:
