.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Fundamentals of Algebraic Specification
Ehrig, Hartmut; Mahr, Bernd
€ 128.63
FREE Delivery in Ireland
Description for Fundamentals of Algebraic Specification
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 332 pages, biography. BIC Classification: PBF; UMX; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 18. Weight in Grams: 587.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
332
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
321
Place of Publication
Berlin, Germany
ISBN
9783642699641
SKU
V9783642699641
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Fundamentals of Algebraic Specification