
Action Semantics
Peter D. Mosses, Mosses Peter D., C. J. Van Rijsbergen
₹4,294

The Complete Documentation of the Common Algebraic Specification Language
Free delivery. Nothing extra to pay at checkout.
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.
Description supplied by the publisher.