nicolas halbwachs
Tools and Algorithms for the Construction and Analysis of Systems
EbookSofort lieferbarETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...
Synchronous Programming of Reactive Systems
EbookSofort lieferbarThis book will attempt to give a first synthesis of recent works con cerning reactive system des...
Computer Aided Verification
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 11th International Conference on Computer A...
Synchronous Programming of Reactive Systems
TaschenbuchBezug 11-15This book will attempt to give a first synthesis of recent works con cerning reactive system desi...
Synchronous Programming of Reactive Systems
BuchBezug 16-20This book will attempt to give a first synthesis of recent works con cerning reactive system desi...
Tools and Algorithms for the Construction and Analysis of Systems
TaschenbuchPrint on DemandETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...
- 1