Formal methods for components and objects

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

by 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)InformatiqueApproche orientee objet (Informatique)Composants logicielsMethodes formelles (Informatique)CongresComputer software