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
|