
Algebraic System Specification and Development
Michel Bidoit, Hans-Jörg Kreowski, Pierre Lescanne
₹5,429

Introduction to Using the Common Algebraic Specification Language
by Michel Bidoit, Peter D. Mosses
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.