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
