Roberto Gorrieri – författare
Visar alla böcker från författaren Roberto Gorrieri.
16 produkter
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Av International Conference on Formal Metho, International Federation for Information m. fl.
Inbunden, 1999
2919 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems
IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Av Paolo Ciancarini, Alessandro Fantechi m. fl.
Häftad, 2013
2919 kr
Lägg i varukorg
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Inbunden, 2015
739 kr
Lägg i varukorg
Introduction to Concurrency Theory
Transition Systems and CCS
Av Roberto Gorrieri, Cristian Versari
Häftad, 2016
739 kr
Lägg i varukorg
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Inbunden, 2017
1139 kr
Lägg i varukorg
Process Algebras for Petri Nets
The Alphabetization of Distributed Systems
Häftad, 2018
1139 kr
Lägg i varukorg
Foundations of Security Analysis and Design II
FOSAD 2001/2002 Tutorial Lectures
Av Riccardo Focardi, Roberto Gorrieri
Häftad, 2004
739 kr
Lägg i varukorg
Foundations of Security Analysis and Design III
FOSAD 2004/2005 Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri m. fl.
Häftad, 2005
669 kr
Lägg i varukorg
Formal Methods for Open Object-Based Distributed Systems
8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Av Roberto Gorrieri, Heike Wehrheim
Häftad, 2006
739 kr
Lägg i varukorg
Foundations of Security Analysis and Design
Tutorial Lectures
Av Riccardo Focardi, Roberto Gorrieri
Häftad, 2001
739 kr
Lägg i varukorg
Automata, Languages and Programming
24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings
Av Pierpaolo Degano, Roberto Gorrieri m. fl.
Häftad, 1997
1469 kr
Lägg i varukorg
Foundations of Security Analysis and Design
FOSAD 2006/2007 Turtorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2007
739 kr
Lägg i varukorg
Foundations of Security Analysis and Design V
FOSAD 2008/2009 Tutorial Lectures
Av Alessandro Aldini, Gilles Barthe m. fl.
Häftad, 2009
679 kr
Lägg i varukorg
Computational Methods in Systems Biology
7th International Conference, CMSB 2009
Av Pierpaolo Degano, Roberto Gorrieri
Häftad, 2009
1419 kr
Lägg i varukorg
Foundations of Security Analysis and Design VI
FOSAD Tutorial Lectures
Av Alessandro Aldini, Roberto Gorrieri
Häftad, 2011
739 kr
Lägg i varukorg