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

By:

Contributor(s):

Series: Lecture notes in computer science ; 2900Publication details: Berlin New York Springer 2004Description: xiii, 240 p 24 cm + 1 CD ROM (4 3/4 in.)ISBN:

Subject(s):

DDC classification:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Carti	IMAR	II 35178 (Browse shelf(Opens below))	Available		0000169

There are no comments on this title.

to post a comment.