Friday 24 February 2012

Initial Computability, Algebraic Specifications, and Partial Algebras pdf

Initial Computability, Algebraic Specifications, and Partial Algebras



Author: Horst Reichel
Edition:
Publisher: Oxford University Press, USA
Binding: Hardcover
ISBN: 0198538065
Category: Programming
List Price: $ 65.00
Price: $ 44.76
You Save: 31%




Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science)



One of the first detailed expositions of partial algebras, this book develops a special theory of partial algebras as a powerful foundation of a model theoretic, initial semantics of algebraic specification languages. Programming books Initial Computability, Algebraic Specifications, and Partial Algebras pdf. . Download books pdf via mediafire, 4shared, rapidshare.

download button

Price comparison for Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) ISBN:0198538065

Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) ISBN:0198538065
Price: $0.05
[ Ships Daily ] Condition: Good[ Underlining/Highlighting: NONE ] [ Writing: NONE ] Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) By Horst Reichel ISBN: 0198538065 Edition:First Publisher: Oxford University Press, USA Pub Date: 12/3/1987 Binding: Hardcover Pages: 224



Download Initial Computability, Algebraic Specifications, and Partial Algebras


Professor Reichel explores the possibility of increasing the use of partial algebras, particularly in computer science. He presents examples of algebraic specifications of increasing complexity and proves that structural induction can yield a complete calculus of abstract programs on parameterized abstract data types. Finally, he extends the model-theoretic initial semantics of abstract data types with partial operations to behavioral semantics. Download free Initial Computability, Algebraic Specifications, and Partial Algebras (International Series of Monographs on Computer Science) pdf

download pdf

No comments:

Post a Comment