Formal methods for components and objects
by Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)InformatiqueApproche orientee objet (Informatique)Composants logicielsMethodes formelles (Informatique)
Writing a summary for young readers…
For young readers
Book data: Open Library