Abstract State Machines, Alloy, B, TLA, VDM, and Z
by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Programming languages (electronic computers)Logic, symbolic and mathematical
Writing a summary for young readers…
For young readers
Book data: Open Library