Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

CASL Reference Manual

CASL Reference Manual

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540213017
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

The Philosophy of Care

$84.99

Psychological Perspectives on Reality, Consciousness and Paranormal Experience

$109.99

Der sinnhafte Aufbau der sozialen Welt

$69.99

Frederick's Journey

$6.71

Digitalisierung im Vertrieb

$79.99

Future Skills

$49.99

SPSS fr Windows

$69.99

Distributed Applications and Interoperable Systems

$59.99

Black Theology as Mass Movement

$109.99

Environmental Futures

$39.99

Die Gesellschaftliche Verantwortung Der Psychologen

$64.99

Decodable Cards: Advanced Phonics Concepts

$37.49

Grundbegriffe der Literaturwissenschaft

$19.99

Biophysical Aspects of Coherence and Biological Order

$109.99

Frontiers in Internet Technologies

$39.99

Projektmanagement im Ehrenamt

$17.99

Future Mobile Communications

$54.99

Microbiologically Influenced Corrosion

$84.99

Qualittsorientierte Unternehmensfhrung

$39.99

Radioisotopic Methods in Hydrobiology

$84.99

Fundamentals of Modern Electric Circuit Analysis and Filter Synthesis

$99.99

Cosmetic and Pharmaceutical Applications of Polymers

$219.99

BBC Sport in Black and White

$109.99

Ein Blick hinter die Kulissen

$49.99

Technologiefusion fr multifunktionale Leichtbaustrukturen

$159.99

Green Chemistry Metrics

$54.99

Spatial Mapping in virtuellen Umgebungen

$59.99

Handbook of Computability and Complexity in Analysis

$109.99

Marketing-Entscheidungen im Einzelhandel

$79.99

Graphisch-Interaktive Strmungsvisualisierung

$59.99

Educational Research: Why 'What Works' Doesn't Work

$84.99

Transactions on Computational Collective Intelligence XVI

$39.99

Scheitern - Organisations- und wirtschaftssoziologische Analysen

$49.99

Die Welt nach 9/11

$119.99

Religious Identities and the Global South

$109.00

Personhood in Science Fiction

$99.99

Griechische Formenlehre. Griechische Satzlehre

$59.99

Intrinsic Molecular Mobility and Toughness of Polymers II

$169.00

Steps to Follow

$99.99

Shakespeare, Catholicism, and the Middle Ages

$69.99