"Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, " - читать интересную книгу автора (Elie Najm, Jean-Francois Pradat-Peyre, Véronique Viguié Donzeau-Gouge)