کتاب های Roberto Gorrieri
![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160089-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160090-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures](http://cdn.ketabkoo.com/covers/1/160091-n.jpg)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
Santiago Escobar, Catherine Meadows, José Meseguer (auth.), Alessandro Aldini, Gilles Barthe, Roberto Gorrieri (eds.), 2009![Introduction to Concurrency Theory: Transition Systems and CCS](http://cdn.ketabkoo.com/covers/4/420978-n.jpg)
Introduction to Concurrency Theory: Transition Systems and CCS
Roberto Gorrieri, 2015![Process Algebras for Petri Nets: The Alphabetization of Distributed Systems](http://cdn.ketabkoo.com/covers/12/1232919-n.jpg)
Process Algebras for Petri Nets: The Alphabetization of Distributed Systems
Roberto Gorrieri, 2017![Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science, 2171)](http://cdn.ketabkoo.com/covers/17/1733205-n.jpg)