Interactive Systems:Design, Specification, and Verification
Logic designInformation storage and retrieval systemsComputer scienceSoftware engineering
Writing a summary for young readers…
For young readers
Book data: Open Library
Book data: Open Library