Format:
XVII, 528 S.
,
graph. Darst.
,
1 CD-ROM (12 cm)
ISBN:
3540213015
Series Statement:
Lecture notes in computer science 2960
Note:
Literaturverz. S. [487] - 490
Additional Edition:
Erscheint auch als Online-Ausgabe Mosses, Peter D. CASL Reference Manual Berlin, Heidelberg : Springer Berlin Heidelberg, 2004 ISBN 9783540213017
Language:
English
Subjects:
Computer Science
Keywords:
CASL
;
Handbuch
;
CASL
;
Algebraische Spezifikation
;
Software
;
CD-ROM
URL:
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2960
URL:
http://www.loc.gov/catdir/enhancements/fy0813/2004102312-d.html