menu
{ "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|Hartmut Ehrig

Fundamentals of Algebraic Specification 1 : Equations and Initial Semantics

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

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

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

You May Also Like...

    1

BAM Customer Reviews