Knihu momentálně nemáme skladem
Více o knize
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.
Nákup knihy
Fundamentals of Algebraic Specification 2, Hartmut Ehrig, Bernd Mahr
- Jazyk
- Rok vydání
- 2011
- product-detail.submit-box.info.binding
- (měkká)
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Fundamentals of Algebraic Specification 2
- Podtitul
- Module Specifications and Constraints
- Jazyk
- anglicky
- Autoři
- Hartmut Ehrig, Bernd Mahr
- Vydavatel
- Springer Berlin Heidelberg
- Rok vydání
- 2011
- Vazba
- měkká
- Počet stran
- 444
- ISBN13
- 9783642647765
- Kategorie
- Matematika, Počítače, IT, programování
- Anotace
- 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.