Abstract State Machines, Alloy, B, TLA, VDM, and Z
by Yamine Ait Ameur, Klaus-Dieter Schewe
Machine learningMachine theoryComputer scienceSoftware engineeringProgramming languages (electronic computers)Logic, symbolic and mathematicalLogic designMathematical Logic and Formal Languages
Writing a summary for young readers…
For young readers
Book data: Open Library