Research Catalog

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

Title: CASL user manual : introduction to using the Common algebraic specification language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki.
Author: Bidoit, M. (Michel), 1957-
Publication: Berlin ; New York : Springer, c2004.

Items in the Library & Off-site

Filter by

2 Items

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 04-858 [Text]	Offsite
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	*WSC-3710	Offsite

Details

Additional Authors

Mosses, Peter.

Description

xiii, 240 p. : ill.; 24 cm. +

Series Statement

Lecture notes in computer science ; 2900

Subject

CASL (Computer program language)

Bibliography (note)

Includes bibliographical references (p. [221]-223) and indexes.

Additional Formats (note)

Also available via the World Wide Web.

Call Number

JSE 04-858

ISBN

354020766X (softcover : alk. paper)

LCCN

2004041653

OCLC

54046553

Author

Bidoit, M. (Michel), 1957-

Title

CASL user manual : introduction to using the Common algebraic specification language / Michel Bidoit, Peter D. Mosses ; with chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki.

Imprint

Berlin ; New York : Springer, c2004.

Series

Lecture notes in computer science ; 2900

Bibliography

Includes bibliographical references (p. [221]-223) and indexes.

Additional Formats

Also available via the World Wide Web.

Added Author

Mosses, Peter.

Research Call Number

JSE 04-858 [Text]

*WSC-3710 [CD-ROM]

View in Legacy Catalog