你好! Shipping to Taiwan with premium packaging for just NT$300 

Ship to
Taiwan
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Nondeterminism in Algebraic Specifications and Algebraic Programs
Type
Physical Book
Author
Publisher
Language
English
Pages
254
Format
Paperback
Dimensions
23.4x15.6x1.4 cm
Weight
0.38 kg.
ISBN13
9781468468366
Categories

Nondeterminism in Algebraic Specifications and Algebraic Programs

Hussmann (Author) · Birkhauser · Paperback

Nondeterminism in Algebraic Specifications and Algebraic Programs - Hussmann

Cheaper New Book Imported to Taiwan
Delivery: 08 Oct - 21 Oct Shipping: 12 to 16 business days.
NT$ 1,867
Faster New Book Imported to Taiwan
Delivery: 29 Sep - 07 Oct Shipping: 5 to 6 business days.
NT$ 2,391
NT$ 1,867

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Nondeterminism in Algebraic Specifications and Algebraic Programs"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews