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

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Morality, Moral Luck and Responsibility

$54.99

Principle-Based Parsing

$169.99

Die Einkommensteuer

$59.99

Spatial and Social Disparities

$109.99

Moderne Rechnernetze bungsbuch

$29.99

Genetische Graphologie

$59.99

Neurale Netze

$59.99

The Trials of Apollo: The Burning Maze

$7.46

Rechtsextremismus und Nationalsozialistischer Untergrund

$39.99

The End of Analysis

$139.99

HCI International 2018 Posters' Extended Abstracts

$54.99

Two-Dimensional Materials for Environmental Applications

$109.00

Residue Reviews / Rckstands-Berichte

$54.99

The Professional Education and Development of Teachers of Mathematics

$109.99

Time, Causality, and the Quantum Theory

$54.99

Descartes Treatise on Man and its Reception

$99.00

Elections and Democratization in Ukraine

$109.99

Education in South Korea

$139.99

Organisationales Lernen

$49.99

Objects, Components, Models and Patterns

$39.99

Urologische Endokrinologie

$44.99

Handbuch der Verfassung und Verwaltung in Preuen und dem Deutschen Reiche

$84.99

The Palgrave Handbook of Kenyan History

$219.99

The Psychology of Emotions

$169.99

Imaging the Cheops Pyramid

$109.99

Was Lehrt uns die Radioaktivitt ber die Geschichte der Erde?

$74.99

On the Study of Human Cooperation via Computer Simulation

$44.99

Physician's Guide to the Diagnosis, Treatment, and Follow-Up of Inherited Metabolic Diseases

$149.00

The ortho Side of PCBs

$129.00

Marine Geology and Oceanography of the Pacific Manganese Nodule Province

$84.99

Existence and Machine

$54.99

Fundamentals of Fuzzy Sets

$129.00

Healing Adaptogens: The Definitive Guide to Using Super Herbs and Mushrooms for Your Body's Restoration, Defense, and Performance by Tero Isokauppila

$24.99

Applications of Tensor Functions in Solid Mechanics

$109.99

Universal Cellular Automata in Hyperbolic Spaces

$129.00

A Generative Theory of Relevance

$84.99

Erste Schritte in der Psychotherapie

$59.99

New Leadership im Finanzsektor

$49.99

Emerging Multinationals from Asia and Europe

$39.99

Special Delivery

$4.46