Autor: Roberto Bruni

This book presents in their basic form the most important models of computation, their basic programming paradigms, and their mathematical descriptions, both concrete and abstract. Each model is …

…

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Web Services and Formal Methods, WS-FM 2008, held in Milan, Italy, in September 2008 in …

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 …

This book constitutes the refereed proceedings of the 6th International Symposium on Trustworthy Global Computing, TGC 2011, held in Aachen, Germany, in June 2011. The 14 revised full papers …

Aspettando tempi migliori, ci viene incontro un’umanità sospesa che commuove e strappa dei sorrisi amari. In un mondo governato dall’indifferenza verso i propri simili, solo gli animali sanno ancora …

Il Nostro Autore, il protagonista, si ritira in una casupola in campagna per scrivere il libro che gli è stato commissionato dal suo editore, dando vita, inconsapevolmente, a un testo sperimentale, …