2 Електронні книги від Michele Boreale
Dirk Beyer & Michele Boreale: Formal Techniques for Distributed Systems
This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 Inte …
PDF
Англійська
DRM
€57.60
Michele Boreale & Flavio Corradini: Models, Languages, and Tools for Concurrent and Distributed Programming
This volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Roc …
EPUB
Англійська
DRM
€58.12