🦃 Cozy up with autumn reads! Let our AI Librarian pick your perfect fireside book 🍁
Explore the literary world of this author
Equations and Initial Semantics
The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of ...
Module Specifications and Constraints
Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification tech...
...
a single assignment language for non-sequential algorithms over arbitrary data structures