Formal Modeling and Analysis of Timed Systems
Computer scienceSoftware engineeringLogic designComputation by Abstract DevicesLogics and Meanings of ProgramsComputer Applications
Writing a summary for young readers…
For young readers
Book data: Open Library