"Formal Techniques for Networked and Distributed Systems - FORTE 2004" - читать интересную книгу автора (David de Frutos-Escrig, Manuel Nunez)