Book dossier

Formal methods for components and objects

by Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf

No description is available for this edition yet.

No online reader is advertised for this title

Formal methods (Computer science)CongressesComponent softwareObject-oriented programming (Computer science)Software engineeringComputer scienceOperating systems (Computers)Logic designProgramming Languages, Compilers, InterpretersOperating Systems