Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selec
by E. Brinksma Paperback 1995
- Author: E. Brinksma
- ISBN 13: 9783540606307
- ISBN 10: 3540606300
- Publication Year: 1995
- Language: English
Specifications
| Index-10 | 3540606300 |
|---|---|
| Index-13 | 9783540606307 |
| Language | English |
✨ Readers also enjoyed...
Broadview Anthology of Poetry