Logics of Specification Languages
by Dines Bjorner, Martin C. Henson Hardcover 2007
- Author: Dines Bjorner, Martin C. Henson
- ISBN 13: 9783540741060
- ISBN 10: 3540741062
- Publication Year: 2007
- Language: English
Specifications
| Index-10 | 3540741062 |
|---|---|
| Index-13 | 9783540741060 |
| Language | English |
✨ Readers also enjoyed...
Perspectives of System Informatics…