CASL user manual : introduction to using the Common algebraic specification language /

Bibliographic Details

Main Author:	Bidoit, M. (Michel), 1957-
Corporate Author:	SpringerLink (Online service)
Other Authors:	Mosses, Peter
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, 2004.
Series:	Lecture notes in computer science ; 2900.
Subjects:	CASL (Computer program language) CASL (Langage de programmation) CASL. CD-ROM. Electronic books.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2900