Advanced Formal Verification
by Rolf Drechsler Hardcover 1
- Author: Rolf Drechsler
- ISBN 13: 9781402077210
- ISBN 10: 1402077211
- Publication Year: 1
- Language: English
Specifications
| Index-10 | 1402077211 |
|---|---|
| Index-13 | 9781402077210 |
| Language | English |
| Index-10 | 1402077211 |
|---|---|
| Index-13 | 9781402077210 |
| Language | English |