Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97, Enschede, The Netherlands, April 2-4, 1997
by Ed Brinksma Paperback 2001
- Author: Ed Brinksma
- ISBN 13: 9783540627906
- ISBN 10: 3540627901
- Publication Year: 2001
- Language: English
Specifications
| Index-10 | 3540627901 |
|---|---|
| Index-13 | 9783540627906 |
| Language | English |
✨ Readers also enjoyed...
Computer Aided Verification : 14th…
Lectures on Formal Methods and Per…