Abstract State Machines, Alloy, B, VDM, and Z
by John Derrick
No description available.
Computational complexityDiscrete Mathematics in Computer ScienceAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceMathematics of ComputingComputer software