Formal methods for components and objects
de Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
de Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
Springer London, Limited · inglés · ISBN 9783642406157
Springer London, Limited · inglés · ISBN 9783642252716
Springer London, Limited · inglés · ISBN 9783540747925
Springer London, Limited · inglés · ISBN 9783540367505
Springer · inglés · ISBN 9783540291312
Springer London, Limited · inglés · ISBN 9783540319399
Springer London, Limited · inglés · ISBN 9783540301011
