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

Algebraic System Specification and Development

Algebraic System Specification and Development

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

Methods for the algebraic specification of abstract data types were proposed in the early 1970s in the USA and Canada and became a major research issue in Europe shortly afterwards. Since then the algebraic approach has come to play a central role in research on formal specification and development, as its range of applications was extended to the specification of complete software systems, to the formal description of the program development process, and to the uniform definition of syntax and semantics of programming languages. Today this approach extends beyond just software to the development of integrated hardware and software systems. These flourishing activities in the area of algebraic specifications have led to an abundance of approaches, theories and concepts, which have universal algebra, category theory and logic as a common mathematical basis. This volume is an annotated bibliography which provides an up-to-date overview of past and present work on algebraic specification. No attempt is made to provide a coherent introduction to the topic for beginners; the intention is rather to provide a guide to the current literature for researchers in algebraic specification and neighboring fields. Some indications of how the different approaches are related are included, together with some ideas concerning possible future directions.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Volume Conjecture for Knots

$79.99

Bad Guys in The One?! (The Bad Guys #12)

$5.24

Nanoporous Materials for Gas Storage

$179.99

Scale Linear and Integer Optimization: A Unified Approach

$549.99

Machine Learning, Meta-Reasoning and Logics

$129.00

Frequency References, Power Management for SoC, and Smart Wireless Interfaces

$169.99

Bone Morphogenetic Proteins: From Local to Systemic Therapeutics

$169.99

Die K-Gruppen

$17.99

Pregnancy, Sex Hormones and the Liver

$219.99

Beziehungen zwischen einigen Formelementen und den Kleinschwankungen von Alpengletschern

$59.99

Peace Is an Offering

$5.96

Zukunft Personal Beschftigung

$59.99

Festkrperprobleme 4

$54.99

Guide to Assessment Scales in Parkinsons Disease

$54.99

Klaus von Beyme

$39.99

The Yamuna River Basin

$169.99

FTIR Microspectroscopy

$129.00

Pro Perl Debugging

$44.99

Toward a Womanist Ethic of Incarnation

$139.99

Formal Theories of Information

$39.99

Statistical Hypothesis Testing with Microsoft Office Excel

$84.99

High Energy Phenomena Around Collapsed Stars

$129.00

Schweizer Dialekte

$59.99

Der Euro-Dollarmarkt

$59.99

Konzernabschlsse

$69.99

The Interaction of Compilation Technology and Computer Architecture

$84.99

Introduction to Clinical Skills

$84.99

Das Country-by-Country Reporting und seine innerstaatliche Umsetzung

$69.99

Choice and Allocation Models for the Housing Market

$129.00

Color Atlas of Gross Placental Pathology

$129.00

Electrochemical Hydrogen Production from Water Splitting

$179.99

The Emergence of Holocaust Education in American Schools

$39.99

Hagers Handbuch der Pharmazeutischen Praxis

$84.99

Speaking of Art

$54.99

Der Kaiser baut frs Volk

$59.99

The Future Internet

$54.99

Amalee: Lights, Camera, Amalee

$5.21

Greening in the Red Zone

$189.00

Knowledge Discovery from Multi-Sourced Data

$54.99

Betriebswirtschaftliche Strukturfragen

$49.99