CASL reference manual : the complete documentation of the Common Algebraic Specification Language | Mosses, Peter
CASL reference manual : the complete documentation of the Common Algebraic Specification Language
Author: Mosses, Peter
Added by: sketch
Added Date: 2015-12-29
Publication Date: 2004
Language: eng
Subjects: CASL (Computer program language)
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540213015
Pages Count: 600
PPI Count: 600
PDF Count: 1
Total Size: 145.32 MB
PDF Size: 34.5 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 391
Views: 441
Total Files: 18
Media Type: texts
Description
Author: Peter D. Mosses
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-21301-7
DOI: 10.1007/b96103
Table of Contents:
- Casl Summary
- Casl Syntax
- Casl Semantics
- Casl Logic
- Casl Libraries
"Tutorial"--Cover
System requirements for accompanying CD-ROM: Adobe Acrobat Reader and CD-ROM drive
Includes bibliographical references and indexes