Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
CASL Reference Manual
Best Price:
Buy CASL Reference Manual for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Product Details
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. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
Reviews
Questions & Answers
High-Resolution Imaging and Spectrometry of Materials
$169.99
Enabling Systematic Business Change
$69.99
Scholastic Time-to-Discover Readers: Calabazas
$3.71
Parties and the Party System in France
$109.99
Presidents versus Federalism in the National Legislative Process
$84.99
Advances in Salivary Diagnostics
$109.99
Who's Who in Fluorescence 2009
$14.99
I. Die Reduktion sauerstoffhaltiger Eisenschmelzen im Hochvakuum mit Wasserstoff und Kohlenstoff. II
$59.99
Praxishandbuch Wirtschaft in Afrika
$44.99
Theoretical and Experimental Investigations of Hadronic Few-Body Systems
$39.99
Ein Vorschlag zur Eherechtsreform
$59.99
Distributed Computing and Artificial Intelligence, Volume 2: Special Sessions 18th International Con
$169.99
Water-filtered Infrared A (wIRA) Irradiation
$59.99
Ultimate Strength and Design of Reinforced Concrete Beams in Torsion and Bending / Rsistance et dim
$74.99
Signal Enhancement with Variable Span Linear Filters
$109.99
Bluetooth 5.0 Modem Design for IoT Devices
$49.99
Food, Eating and Obesity
$54.99
Spectral Analysis on Graph-like Spaces
$54.99
Abenteuerlustig & Hochsensibel
$17.99
Quick Guide Digital Controlling
$29.99
Cognitive Therapy with Couples and Groups
$109.99
Bedarfsgegenstnde, Verpackung Reinigungs- und Desinfektionsmittel
$84.99
Transmedia in Asia and the Pacific
$119.99
The Unquiet Nisei
$54.99
Reviving Classical Liberalism Against Populism
$59.99
Modernes Software Engineering
$54.99
Opposition in the GDR under Honecker, 197185
$59.99
Elementarphysik griffbereit
$69.99
Carbon Filaments and Nanotubes: Common Origins, Differing Applications?
$109.99
Orbital Inflammatory Diseases and Their Differential Diagnosis
$109.99
Synthetic Biology and iGEM: Techniques, Development and Safety Concerns
$149.00
Theoretische Einfhrung in die Gasdynamik
$79.99
Lautproduktion
$59.99
Relativistic Quantum Theory of Atoms and Molecules
$259.00
Re-Inventing Africa's Development
$31.00
Foundations of Respiratory Medicine
$84.99
Multi-Agent Systems
$39.99
Geodetic Reference Frames
$129.00
Energy Recovery Technology for Building Applications
$84.99
Organometallic Modeling of the Hydrodesulfurization and Hydrodenitrogenation Reactions
$39.99
