Abstract State Machines - Theory and Applications
by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Writing a summary for young readers…
For young readers
Book data: Open Library
by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele
Book data: Open Library