CASL user manual : introduction to using the Common Algebraic Specification Language
Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
Bok Engelsk 2004 M. Bidoit
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | XIII, 240 s. : ill.
|
| Opplysninger | 1 CD-ROM (12 cm) i lomme
|
| Emner | |
| Dewey | |
| ISBN | 354020766X
|
