{
"item_title" : "Fundamentals of Algebraic Specification 1",
"item_author" : [" Hartmut Ehrig", "Bernd Mahr "],
"item_description" : "The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.",
"item_img_path" : "https://covers2.booksamillion.com/covers/bam/3/64/269/964/3642699642_b.jpg",
"price_data" : {
"retail_price" : "109.99", "online_price" : "109.99", "our_price" : "109.99", "club_price" : "109.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics
by Hartmut Ehrig and Bernd Mahr
Overview
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9783642699641
- ISBN-10: 3642699642
- Publisher: Springer
- Publish Date: November 2011
- Dimensions: 9.61 x 6.69 x 0.71 inches
- Shipping Weight: 1.19 pounds
- Page Count: 321
Related Categories
