Your search returned 3 results.

Results
	1.	CASL reference manual the complete documentation of the Common Algebraic Specification Language Peter D. Mosses (ed.) by Mosses, Peter Series: Lecture notes in computer science ; 2960 Publication details: Berlin New York Springer c2004 Other title: Common Algebraic Specification Language reference manual Online resources: Click here to access online Availability: Items available for loan: IMAR (1)Call number: II 35177. Place hold Add to cart (remove)
	2.	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 Bidoit, M Mosses, Peter Series: Lecture notes in computer science ; 2900 Publication details: Berlin New York Springer 2004 Availability: Items available for loan: IMAR (1)Call number: II 35178. Place hold Add to cart (remove)
	3.	Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) by Fiadeiro, José Luiz, 1961- Mosses, Peter Orejas, F Series: Lecture notes in computer science ; 3423 Publication details: Berlin New York Springer c2005 Other title: WADT 2004 Online resources: Click here to access online Publisher description Availability: Items available for loan: IMAR (1)Call number: II 35187. Place hold Add to cart (remove)

Refine your search