Research Catalog
CASL reference manual : the complete documentation of the common algebraic specification language / Peter D. Mosses (ed.).
- Title
- CASL reference manual : the complete documentation of the common algebraic specification language / Peter D. Mosses (ed.).
- Publication
- Berlin ; Hong Kong : Springer-Verlag, c2004.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Use in library | QA76.73.C158 C37 2004g CD-ROM | Off-site | |
| Text | Use in library | QA76.73.C158 C37 2004g book | Off-site |
Details
- Additional Authors
- Mosses, Peter.
- Description
- xiii, 240 p. : ill.; 24 cm. +
- Series Statement
- Lecture notes in computer science ; 2960
- Uniform Title
- Lecture notes in computer science ; 2960.
- Alternative Title
- Common algebraic specification language reference manual
- Complete documentation of the common algebraic specification language
- Subject
- Bibliography (note)
- Includes bibliographical references and indexes.
- ISBN
- 3540213015
- Owning Institutions
- Columbia University Libraries