Computer Aided Verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings
by O. Grumberg Paperback 1997
- Author: O. Grumberg
- ISBN 13: 9783540631668
- ISBN 10: 3540631666
- Publication Year: 1997
- Language: English
Specifications
| Index-10 | 3540631666 |
|---|---|
| Index-13 | 9783540631668 |
| Language | English |
✨ Readers also enjoyed...
It's Your World : Get Informed, Ge…
Look and See : Buddhist Teaching S…