Michele Boreale – författare

Visar alla böcker från författaren Michele Boreale. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Models, Languages, and Tools for Concurrent and Distributed Programming

   Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

   Av Michele Boreale, Flavio Corradini m. fl.

   Häftad, 2019

   568 kr

   Lägg i varukorg

   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 Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy.The papers present many …

2. 

   Models, Languages, and Tools for Concurrent and Distributed Programming

   Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday

   Av Rosario Pugliese, Michele Loreti m. fl.

   E-bok, 2019

   755 kr

   Lägg i varukorg

   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 Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many …

3. 

   Formal Techniques for Distributed Systems

   Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

   Av Dirk Beyer, Michele Boreale

   Häftad, 2013

   568 kr

   Lägg i varukorg

   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 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in …

4. 

   Formal Techniques for Distributed Systems

   Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

   Av Michele Boreale, Dirk Beyer

   E-bok, 2013

   734 kr

   Lägg i varukorg

   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 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in …