Formal methods
by Keijiro Araki, Stefania Gnesi
Computer softwareCongressesDevelopmentFormal methods (Computer science)System designMathematicsComputer software, developmentComputer science
Writing a summary for young readers…
For young readers
Book data: Open Library