5,908 followers
@rabbitonweb Add: https://t.co/0ESh9H8hvn :)
2,812 followers
I follow every @contrarivariant recommendations and I'm never disappointed https://t.co/lC2h5Xzo35
Foundations of Algebraic Specification and Formal Software Development
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Universal algebra
-
Altmetric BadgeChapter 2 Simple equational specifications
-
Altmetric BadgeChapter 3 Category theory
-
Altmetric BadgeChapter 4 Working within an arbitrary logical system
-
Altmetric BadgeChapter 5 Structured specifications
-
Altmetric BadgeChapter 6 Parameterisation
-
Altmetric BadgeChapter 7 Formal program development
-
Altmetric BadgeChapter 8 Behavioural specifications
-
Altmetric BadgeChapter 9 Proofs for specifications
-
Altmetric BadgeChapter 10 Working with multiple logical systems