Formal methods for components and objects

Name: Formal methods for components and objects
Author: Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Cover of Formal methods for components and objects

Popularity 1

No description available.

Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)Software engineeringComputer scienceOperating systems (Computers)Logic designProgramming Languages, Compilers, InterpretersOperating SystemsLogics and Meanings of ProgramsSoftware Engineering/Programming and Operating Systems