"Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey ... Programming and Software Engineering)" - читать интересную книгу автора (Frank S. de Boer, Marcello M. Bonsangue, Eric Madelaine)
-->