Table of Contents:
  • v. 1. Background : Mathematical structures
  • v. 2. Background : Computational structures
  • v. 3. Semantic structures
  • v. 4. Semantic modelling
  • v. 5. Theoretical methods in specification and verification
  • v. 6. Logical methods in computer science.