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
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:- 354020766X (softcover : alk. paper)
- 005.13/3
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.
Log in to your account to post a comment.