ZUM '95: The Z Formal Specification Notation
Programming TechniquesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationLogic designLogics and Meanings of ProgramsComputer scienceData processing
Writing a summary for young readers…
For young readers
Book data: Open Library