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

The Culture of Collected Editions

$109.99

Mikrosystemtechnik

$39.99

The Management of Corporate Acquisitions

$129.00

Naturstoffe und Biochemie

$17.99

Marine Climate of Russian Coastal Territories

$139.99

Frakturen auf einen Blick

$84.99

IUTAM Symposium on Lubricated Transport of Viscous Materials

$129.00

Zwischen Krieg, Liebe und Ehe

$19.99

Local Environmental Change and Society in Africa

$84.99

Non-Aligned Psychiatry in the Cold War

$129.99

Science and Modernity

$169.99

R-Calculus, V: Description Logics

$149.00

State-to-State Dynamical Research in the F+H2 Reaction System

$39.99

The Ethics of Playing, Researching, and Teaching Games in the Writing Classroom

$129.00

Grundlagen der Statistik

$59.99

Clark Kerr's World of Higher Education Reaches the 21st Century

$109.99

New Political Economy of Energy in Europe

$69.99

Das Verbrechen II

$59.99

Space,Time and Memory in the Hippocampal Formation

$219.99

Journalistik

$49.99

Lateral Asymmetry in Animals

$199.99

Proceedings of GeoShanghai 2018 International Conference: Tunnelling and Underground Construction

$229.00

Microencapsulation/Microgels/Iniferters

$39.99

Space Regulation in Canada: Past, Present and Potential

$119.00

Transport and Receptor Proteins of Plant Membranes

$39.99

Mathematical Aspects of Network Routing Optimization

$109.99

Microcomputer

$39.99

Discretization and Implicit Mapping Dynamics

$39.99

Encyclopedia of Operations Research and Management Science

$129.00

My Amazing and Awesome Sticker Book by Make Believe Ideas

$9.99

Cultural Distance in International Ventures

$44.99

Changing the Church

$109.99

Integration of Preference Analysis Methods into QFD for Elderly People

$54.99

Die Englische Aktien-Gesellschaft nach neuem Recht

$59.99

Greece Old and New

$74.99

CEMAF as a Census Method

$34.99

Coaching Culture

$54.99

Handbuch Bildungs- und Erziehungsphilosophie

$139.00

Steuervorteile fr Handwerker

$59.99

Digital Forensics and Watermarking

$54.99