Research Catalog
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
- Title
- CASL reference manual : the complete documentation of the Common Algebraic Specification Language / Peter D. Mosses (ed.).
- Publication
- Berlin ; New York : Springer, c2004.
Items in the Library & Off-site
Filter by
2 Items
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 04-1017 [Text] | Offsite | |
| Text | Request in advance | *WSC-3770 | Offsite |
Details
- Additional Authors
- Mosses, Peter.
- Description
- xvii, 528 p. : ill.; 24 cm. +
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2960
- Alternative Title
- Common Algebraic Specification Language reference manual
- Subject
- CASL (Computer program language)
- Note
- "Tutorial"--Cover.
- Bibliography (note)
- Includes bibliographical references and indexes.
- Call Number
- JSE 04-1017
- ISBN
- 3540213015
- OCLC
- 55014935
- Title
- CASL reference manual : the complete documentation of the Common Algebraic Specification Language / Peter D. Mosses (ed.).
- Imprint
- Berlin ; New York : Springer, c2004.
- Series
- Lecture notes in computer science, 0302-9743 ; 2960
- Bibliography
- Includes bibliographical references and indexes.
- Added Author
- Mosses, Peter.
- Research Call Number
- JSE 04-1017 [Text]*WSC-3770 [Computer disc]