Abstract State Machines, Alloy, B, VDM, and Z
by John Derrick
Computational complexityDiscrete Mathematics in Computer ScienceAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceMathematics of Computing
Writing a summary for young readers…
For young readers
Book data: Open Library