Summer Reading Sale
 
 

Recently Viewed clear list


Original Essays | July 22, 2014

Nick Harkaway: IMG The Florist-Assassins



The three men lit up in my mind's eye, with footnotes. They were converging on me — and on the object I was carrying — in a way that had... Continue »
  1. $18.87 Sale Hardcover add to wish list

    Tigerman

    Nick Harkaway 9780385352413

spacer

On Order

$108.50
New Hardcover
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Software Engineering- Programming and Languages

Nondeterminism in algebraic specifications and algebraic programs

by

Nondeterminism in algebraic specifications and algebraic programs Cover

 

Synopses & Reviews

Book News Annotation:

A revised and extended English-language version of the author's Ph.D. thesis (U. of Passau, Germany, 1988/89), this monograph presents a cohesive mathematical theory for the integration of three concepts: nondeterminism, axiomatic specification, and term writing. For nondeterministic programs, an algebraic specification language is provided, which admits the application of automated tools based on term rewriting techniques. This general framework is used to explore connections between logic programming and algebraic programming.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Product Details

ISBN:
9780817637002
Author:
Hussmann, H.
Publisher:
Birkhauser
Author:
Hussmann
Subject:
General science
Subject:
Software Engineering - Programming and Languages
Copyright:
Edition Number:
1
Series:
Progress in Theoretical Computer Science
Publication Date:
19930501
Binding:
HARDCOVER
Language:
English

Other books you might like

  1. IMA Volumes in Mathematics and Its... New Hardcover $108.50
  2. Surfaces 2ND Edition New Trade Paper $45.75
  3. Annals of Mathematics Studies #119:... New Trade Paper $77.50

Related Subjects

Computers and Internet » Software Engineering » Programming and Languages
Reference » Science Reference » General
Science and Mathematics » Mathematics » Algebra » General

Nondeterminism in algebraic specifications and algebraic programs New Hardcover
0 stars - 0 reviews
$108.50 Backorder
Product details pages Birkhèauser,c1993. - English 9780817637002 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.