CASL User Manual: Introduction to Using the Common Algebraic Specification Langu
67,31 €
CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This book illustrates and discusses how to write CASL specifications. The authors first describe the origins, aims and scope of CoFI, and review the main concepts of algebraic specification languages.
Jetzt bei Ebay:
