thomas henzinger
Handbook of Model Checking
BuchSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be...
Handbook of Model Checking
EbookSofort lieferbarModel checking is a computer-assisted method for the analysis of dynamical systems that can be mo...
Formal Modeling and Analysis of Timed Systems
EbookSofort lieferbarThis volume contains the papers that were presented at the 8th International Conference on Formal...
Computational Methods in Systems Biology
EbookSofort lieferbarThis book constitutes the proceedings of the 11th International Conference on Computational Metho...
Computer Science Logic
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 21st International Workshop on Computer Sci...
Mathematical and Engineering Methods in Computer Science
EbookSofort lieferbarThis volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...
Embedded Software
EbookSofort lieferbarWith the omnipresence of micro devices in our daily lifes embedded software has gained tremendous...
Computer Aided Verification
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...
Hybrid Systems: Computation and Control
TaschenbuchBezug 11-15This book constitutes the refereed proceedings of the First International Workshop on Hybrid Syst...
Hybrid Systems III
TaschenbuchBezug 11-15This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...
Mathematical and Engineering Methods in Computer Science
TaschenbuchBezug 11-15This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...
Computational Methods in Systems Biology
TaschenbuchBezug 11-15This book constitutes the proceedings of the 11th International Conference on Computational Metho...
- 1
- 2