Formal methods for components and objects
de Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
de Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Springer London, Limited · inglés · ISBN 9783642041679
Springer London, Limited · inglés · ISBN 9783540921882
Springer · inglés · ISBN 9783540367499
