Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Fundamentals of Algebraic Specification 2, Hartmut Ehrig, Bernd Mahr
- Sprache
- Erscheinungsdatum
- 2011
- product-detail.submit-box.info.binding
- (Paperback)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Fundamentals of Algebraic Specification 2
- Untertitel
- Module Specifications and Constraints
- Sprache
- Englisch
- Autor*innen
- Hartmut Ehrig, Bernd Mahr
- Erscheinungsdatum
- 2011
- Einband
- Paperback
- Seitenzahl
- 444
- ISBN13
- 9783642647765
- Kategorie
- Mathematik, Informatik & Programmierung
- Beschreibung
- 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.