VDM '90 VDM and Z -- Formal Methods in Software Development
by C.A.R. Hoare
Logic designLogics and Meanings of ProgramsSoftware EngineeringSoftware engineeringComputer ScienceComputer scienceComputer programmingComputer software, development
Writing a summary for young readers…
For young readers
Book data: Open Library