Roberto Bruni – författare

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

11 produkter

1. 

   Models of Computation

   Av Roberto Bruni, Ugo Montanari

   Inbunden, 2017

   435 kr

   Lägg i varukorg

   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 accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …

2. 

   Models of Computation

   Av Ugo Montanari, Roberto Bruni

   E-bok, 2017

   903 kr

   Lägg i varukorg

   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 accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …

3. 

   Models of Computation

   Av Roberto Bruni, Ugo Montanari

   Häftad, 2018

   435 kr

   Lägg i varukorg

   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 accompanied by relevant formal techniques for reasoning on it and for proving some properties. After …

4. 

   Trustworthy Global Computing

   Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

   Av Ugo Montanari, Donald Sannella m. fl.

   Häftad, 2007

   568 kr

   Lägg i varukorg

   This book constitutes the thoroughly refereed post-proceedings of the Second Symposium on Trustworthy Global Computing, TGC 2006, held in Lucca, Italy, in November 2006. The 14 revised papers presented together with two keynote lectures were carefully reviewed and selected from 32 submissions. The …

5. 

   Trustworthy Global Computing

   Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

   Av Roberto Bruni, Donald Sannella m. fl.

   E-bok, 2007

   755 kr

   Lägg i varukorg

6. 

   Web Services and Formal Methods

   5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

   Av Roberto Bruni, Karsten Wolf

   Häftad, 2009

   568 kr

   Lägg i varukorg

   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 conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 …

7. 

   Web Services and Formal Methods

   5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings

   Av Karsten Wolf, Roberto Bruni

   E-bok, 2009

   739 kr

   Lägg i varukorg

   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 conjunction with the 6th International Conference on Business Process Management, BPM 2008. The 13 …

8. 

   Formal Techniques for Distributed Systems

   Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

   Av Roberto Bruni, Juergen Dingel

   Häftad, 2011

   568 kr

   Lägg i varukorg

   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 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June …

9. 

   Formal Techniques for Distributed Systems

   Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

   Av Juergen Dingel, Roberto Bruni

   E-bok, 2011

   739 kr

   Lägg i varukorg

   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 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June …

10. 

    Trustworthy Global Computing

    6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

    Av Roberto Bruni, Vladimiro Sassone

    Häftad, 2012

    568 kr

    Lägg i varukorg

    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 presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical …

11. 

    Trustworthy Global Computing

    6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers

    Av Vladimiro Sassone, Roberto Bruni

    E-bok, 2012

    755 kr

    Lägg i varukorg

    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 presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical …