-
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarETAPS 2005 was the eighth instance of the Europ...
-
Synchronous Programming of Reactive Systems
EbookSofort lieferbarThis book will attempt to give a first synthesi...
-
Computer Aided Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Synchronous Programming of Reactive Systems
TaschenbuchPrint on DemandThis book will attempt to give a first synthesi...
-
Computer Aided Verification
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
Synchronous Programming of Reactive Systems
BuchPrint on DemandThis book will attempt to give a first synthesi...
-
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandETAPS 2005 was the eighth instance of the Europ...
- 1
Folgen Sie uns auf:
