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

StatusFormatAccessCall NumberItem Location
TextRequest in advance JSE 04-1017 [Text]Offsite
TextRequest in advance *WSC-3770Offsite

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]
View in Legacy Catalog