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

Proceedings of International Conference on Recent Trends in Computing

$249.99

Dynamics of Magnetically Trapped Particles

$159.99

Logische Propdeutik

$29.99

The Psychology of Violence in Adolescent Romantic Relationships

$54.99

Pharmakotherapie

$39.99

The Human Genome Project

$54.99

History and Nationalist Legitimacy in Contemporary China

$119.99

Beginning Concepts Bilingual: Seasons / Estaciones

$5.21

Encyclopedia of Remote Sensing

$329.99

Produktivitt von industriellen Dienstleistungen in der betrieblichen Praxis

$39.99

The Source/Drain Engineering of Nanoscale Germanium-based MOS Devices

$39.99

D.M. Armstrong

$129.00

Kritik der Parteien in Deutschland vom Standpunkte des Gneistschen Englischen Verfassungs- und Verw

$69.99

PNF in Lokomotion

$54.99

Health Information Science

$49.99

Youth Fantasies: The Perverse Landscape of the Media

$54.99

Ratgeber Rcken

$24.99

Tattoos in American Visual Culture

$39.99

Chronische Blasenentzndungen

$14.99

Subversion, Sexuality and the Virtual Self

$54.99

Exploring Blazor

$34.99

Faster than Nyquist Signaling

$109.99

Cinematic Histospheres

$59.99

Aspects of the Internationalization Process in Smaller Firms

$109.99

Innere-Punkte-Verfahren mit Redundanzerkennung fr die Quadratische Optimierung

$74.99

The Politics of Listening

$54.99

Impetus and Equipoise in the Life-Strategies of Reason

$219.99

Pedagogically Founded Courseware Generation for Web-Based Learning

$54.99

Group Work in the English Language Curriculum

$109.99

Co-Economy: Wertschpfung im digitalen Zeitalter

$39.99

Bioreaktionstechnik: Bioprozesse mit Mikroorganismen und Zellen

$119.99

Strategische Unternehmenssteuerung im digitalen Zeitalter

$29.99

Developing Web Components with Svelte

$49.99

Status of Forces: Criminal Jurisdiction over Military Personnel Abroad

$159.99

Proceedings of 3rd 2023 International Conference on Autonomous Unmanned Systems (3rd ICAUS 2023)

$189.00

Proceedings of the Seventh International Forum on Decision Sciences

$129.00

The European Integration, Vol. 1

$89.00

Steuerliche Analyse von Islamic Private Equity

$79.99

Digital Geometry Algorithms

$109.99

Institutions and Political Change in Russia

$39.99