Visit our Christmas Gift Finder
Nondeterminism in Algebraic Specifications and Algebraic Programs - Progress in Theoretical Computer Science (Paperback)
  • Nondeterminism in Algebraic Specifications and Algebraic Programs - Progress in Theoretical Computer Science (Paperback)
zoom

Nondeterminism in Algebraic Specifications and Algebraic Programs - Progress in Theoretical Computer Science (Paperback)

(author)
£72.00
Paperback 254 Pages / Published: 22/03/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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.

Publisher: Springer-Verlag New York Inc.
ISBN: 9781468468366
Number of pages: 254
Weight: 415 g
Dimensions: 235 x 155 x 14 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Edexcel Award in Algebra Level 3 Workbook
Added to basket
Linear Algebra
Added to basket
£61.99
Hardback
Maths for Science
Added to basket
£35.99
Paperback
Algebra I Essentials For Dummies
Added to basket
Book of Abstract Algebra
Added to basket
Algebra II For Dummies
Added to basket
Introduction to Algebra
Added to basket
Basic Linear Algebra
Added to basket
£24.95
Paperback
The Cartoon Guide to Algebra
Added to basket
Maths for Chemistry
Added to basket
£29.99
Paperback
Schaum's Outline of College Algebra
Added to basket
Linear Algebra
Added to basket
£31.49
Paperback

Please sign in to write a review

Your review has been submitted successfully.