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 email you as soon as we track it down.
Payment methods
No one has rated yet.