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

Interactive Systems: Design, Specification, and Verification

$39.99

The Theory of Lexical Phonology

$54.99

The Macroeconomics of Development Finance

$169.99

Managed C++ and .NET Development

$44.99

Temporal Information Processing Technology and Its Applications

$169.99

Innovation Capacity and the City

$24.99

Die knstliche Seide

$59.99

Media and the British Empire

$109.99

Ein phasengetasteter Hochfrequenzgleichrichter fr modulierte Rauschspannungen und seine Anwendung i

$59.99

Providing a New Perspective on Understanding and Measuring of Customer Inspiration

$99.99

MMOs from the Inside Out

$59.99

Strategy, Value and Risk

$169.99

Philosophies of Nature: The Human Dimension

$169.99

Mechanisms of Receptor Regulation

$39.99

Domestic Violence and Maternal and Child Health

$84.99

First Little Readers: Guided Reading Levels K & (Multiple-Copy Set)

$69.74

Social Understanding

$109.99

Protest in the Vietnam War Era

$169.99

Eine dienstleistungsorientierte Perspektive des Handelsmarketing

$59.99

Neighboring Group Participation

$39.99

The Palgrave Handbook of Creativity and Culture Research

$299.99

The Archaean Geology of the Kaapvaal Craton, Southern Africa

$199.99

Proceeding of the 7th International Conference on Logistics Operations Management, GOL'24

$169.00

Religious and Spiritual Practices in India

$169.99

Botany Illustrated

$69.99

Innovation in Familienunternehmen

$17.99

Studies in Phase Space Analysis with Applications to PDEs

$199.99

The Sociology of Return Migration: A Bibliographic Essay

$54.99

Emergency Musculoskeletal Imaging in Children

$139.99

A Prescription for Psychiatry

$109.99

Saving and Investment in the Twenty-First Century

$59.99

Intelligence for Embedded Systems

$109.99

Computer and Information Science

$84.99

Water Relationships in Foods

$219.99

An Introduction to the Theory of Climate

$109.99

Aufgabensammlung zur Festigkeitslehre fr Wirtschaftsingenieure

$19.99

Transgenic Crops III

$329.99

Interval-Valued Methods in Classifications and Decisions

$84.99

Gyros, Clocks, Interferometers: Testing Relativistic Gravity in Space

$84.99

Netherlands Yearbook of International Law 2021

$169.99