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

Nondeterminism in Algebraic Specifications and Algebraic Programs

Nondeterminism in Algebraic Specifications and Algebraic Programs

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

Algebraic specification, nondeterminism and term rewriting are three active research areas aiming at concepts for the abstract description of software systems: Algebraic specifications are well-suited for describing data structures and sequential software systems in an abstract way. Term rewriting methods are used in many prototyping systems and form the basis for executing specifi cations. Nondeterminism plays a major role in formal language theory; in programming it serves for delaying design decisions in program development and occurs in a "natural" way in formalisations of distributed processes. Heinrich Hussmann presents an elegant extension of equational specification and term rewriting to include nondeterminism. Based on a clean modeltheoretic semantics he considers term rewriting systems without confluence restrictions as a specification language and shows that fundamental properties such as the existence of initial models or the soundness and completeness of narrowing, the basic mechanism for executing equational specifications, can be extended to nondeterministic computations. The work of Heinrich Hussmann is an excellent contribution to Algebraic Programming; it gives a framework that admits a direct approach to program verification, is suitable for describing concurrent and distributed processes, and it can be executed as fast as Prolog.

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

Regelungen Analyse und technischer Entwurf

$39.99

Uncertainty Assessment of Finite Element Systems

$84.99

Das Radikalisierungsparadigma

$17.99

Bevlkerungswissenschaft Quo vadis?

$59.99

Experimental Vibration Analysis for Civil Structures

$329.99

Deep Learning for Video Understanding

$159.99

Understanding Narrative Identity Through Lesbian and Gay Youth

$54.99

Feminist Traditions in Andalusi-Moroccan Oral Narratives

$54.99

Proceedings of the FISITA 2012 World Automotive Congress

$219.99

Metaphern der Kur

$59.99

Aktuelle Probleme der Geomechanik und Deren theoretische Anwendung / Acute Problems of Geomechanics

$59.99

Ancient Glass of South Asia

$169.99

Groups Acting on Hyperbolic Space

$139.99

Serverless Beyond the Buzzword

$49.99

The Mediastinum

$84.99

Open Markets, Free Trade and Sustainable Development

$109.99

Dirichlets Principle, Conformal Mapping, and Minimal Surfaces

$39.99

Praxis der Zweiortskurvenverfahren. Erweiterung des Nyquist-Kriteriums auf rckwirkungsbehaftete Sys

$59.99

Bestimmen des Brstenverhaltens anhand einer Einzelborste

$59.99

Fuzzy Engineering Economics with Applications

$129.00

Vom Bild zum Sinn

$69.99

Language and Illumination

$54.99

Embedded Computer Systems: Architectures, Modeling, and Simulation

$39.99

Statistics for Chemical and Process Engineers

$99.00

Peine

$59.99

Information, Organisation and Technology

$219.99

Teachers Counseling Competence in Parent-Teacher Talks

$39.99

The Gold Standard Anchored in Islamic Finance

$54.99

Changing Workplace Relations in the Chinese Economy

$84.99

Principles and Practice of Interventional Pulmonology

$249.99

Textbook of Acute Trauma Care

$179.99

What's the Weather?

$5.21

Knowledge Graphs and Big Data Processing

$49.99

Fundamental Principles for the Illumination of a Picture Gallery

$54.99

Practical PID Control

$129.00

Topological Transformations for Efficient Structural Analysis

$129.00

Ultrafast Phenomena X

$109.99

Evolutionary Biology

$129.00

Water and Land Security in Drylands

$109.99

The Magic Ring

$129.00