You might also like

More about Fundamentals of Algebraic Specification 1

• Book details
• Synopsis
• Trending among others

You get 304 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Human-computer interaction

• Full title: Fundamentals of Algebraic Specification 1
• Subtitle: Equations and Initial Semantics
• Author: Bernd Mahr
• Language: English
• Binding: Paperback
• Number of pages: 321
• EAN: 9783642699641
• ISBN: 9783642699641
• ID: 06621899
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 588 g
• Dimensions: 244 × 170 × 19 mm
• Date of publishing: 23. November 2011

Trending among others

---

---

---