Tools and Algorithms for the Construction and Analysis of Systems
by Orna Grumberg, Michael Huth
System designComputer software, development
Writing a summary for young readers…
For young readers
Book data: Open Library
by Orna Grumberg, Michael Huth
Book data: Open Library