Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conf
by Nicolas Halbwachs, Lenore Zuck Paperback 2005
- Author: Nicolas Halbwachs, Lenore Zuck
- ISBN 13: 9783540253334
- ISBN 10: 3540253335
- Publication Year: 2005
- Language: English
Specifications
| Index-10 | 3540253335 |
|---|---|
| Index-13 | 9783540253334 |
| Language | English |
✨ Readers also enjoyed...
Computer Aided Verification : 11th…
Synchronous Programming of Reactiv…
Synchronous Programming of Reactiv…
Radical Evangelism : Reaching the …
The Politics of International Econ…