Abstract State Machines, Alloy, B, VDM, and Z

Name: Abstract State Machines, Alloy, B, VDM, and Z
Author: John Derrick

Cover of Abstract State Machines, Alloy, B, VDM, and Z

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