FM 2006
by Jayadev Misra, Tobias Nipkow, Emil Sekerinski
DevelopmentCongressesSystem designMathematicsFormal methods (Computer science)Computer softwareApplication software, development
Writing a summary for young readers…
For young readers
Book data: Open Library