Roberto Bruni – författare
Visar alla böcker från författaren Roberto Bruni.
6 produkter
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
729 kr
Lägg i varukorg
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
729 kr
Lägg i varukorg
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
729 kr
Lägg i varukorg
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
729 kr
Lägg i varukorg