Formal methods in software and systems modeling
Computer systemsFormal methods (Computer science)DesignComputer softwareDesign and constructionLogic, symbolic and mathematicalSoftware engineeringComputers
Writing a summary for young readers…
For young readers
Book data: Open Library