Website Search
Find information on spaces, staff, and services.
Catalog Search
Books
CASL user manual : introduction to using the Common algebraic specification language
- Author / Creator
- Available as
- Online
- Physical
Details
Checking for availability...
- Creator
- Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki
- Included Title
-
- Springer Computer Science e-book collection
- Format
- Books
- Language
- English
- Contributors
- Publication
-
- Berlin ; New York : Springer, 2004
- Physical Details
-
- xiii, 240 pages ; 24 cm + 1 CD-ROM (4 3/4 in.)
- ISBNs
- 9783540207665, 354020766X
- OCLC
- ocm54046553
- Includes bibliographical references (pages [221]-223) and index.
- Also available online.