Provably Correct Systems
by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Software engineeringProgramming languages (electronic computers)
Writing a summary for young readers…
For young readers
Book data: Open Library
by Mike Hinchey, Jonathan P. Bowen, Ernst-Rüdiger Olderog
Book data: Open Library