Formal methods for components and objects
by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)Software engineeringComputer scienceOperating systems (Computers)Logic design
Writing a summary for young readers…
For young readers
Book data: Open Library