The book is currently out of stock
More about the book
Algebraic specification techniques have become pivotal in computer science, particularly in the realms of abstract data types and software systems. This book presents a comprehensive theory that emphasizes core concepts, providing a well-motivated introduction to algebraic specification suitable for both computer scientists and mathematicians. It focuses on establishing precise definitions and formalizing computer science concepts mathematically, serving as a foundational resource for teaching, research, and development in algebraic techniques and their applications in programming and system design.
Book purchase
Fundamentals of Algebraic Specification 2, Hartmut Ehrig, Bernd Mahr
- Language
- Released
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
We’ll notify you via email once we track it down.
Payment methods
- Title
- Fundamentals of Algebraic Specification 2
- Subtitle
- Module Specifications and Constraints
- Language
- English
- Authors
- Hartmut Ehrig, Bernd Mahr
- Publisher
- Springer Berlin Heidelberg
- Released
- 2011
- Format
- Paperback
- Pages
- 444
- ISBN13
- 9783642647765
- Category
- Mathematics, Computers, IT, Programming
- Description
- Algebraic specification techniques have become pivotal in computer science, particularly in the realms of abstract data types and software systems. This book presents a comprehensive theory that emphasizes core concepts, providing a well-motivated introduction to algebraic specification suitable for both computer scientists and mathematicians. It focuses on establishing precise definitions and formalizing computer science concepts mathematically, serving as a foundational resource for teaching, research, and development in algebraic techniques and their applications in programming and system design.