
Formal Methods : Foundations and Applications
by Tiago Massoni, Mohammad Reza Mousavi
Software engineeringProgramming languages (electronic computers)
Writing a summary for young readers…
For young readers
Book data: Open Library

by Tiago Massoni, Mohammad Reza Mousavi
Book data: Open Library