Gorrieri, Roberto books & textbook
Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology)
Ciancarini, Paolo Fantechi, Alessandro Gorrieri, Roberto
Springer /2013-01-17 Paperback / 448 Pages
isbn-10: 1475752660 / isbn-13: 9781475752663
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures (Lecture Notes in Computer Science, 5705)
Aldini, Alessandro Barthe, Gilles Gorrieri, Roberto
Springer /2009-08-17 Paperback / 347 Pages
isbn-10: 364203828X / isbn-13: 9783642038280
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures (Lecture Notes in Computer Science, 6858)
Aldini, Alessandro Gorrieri, Roberto
Springer /2011-08-19 Paperback / 282 Pages
isbn-10: 3642230814 / isbn-13: 9783642230813
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 (Lecture Notes in Computer Science, 5688)
Degano, Pierpaolo Gorrieri, Roberto
Springer /2009-08-17 Paperback / 339 Pages
isbn-10: 3642038441 / isbn-13: 9783642038440
Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures (Lecture Notes in Computer Science, 4677)
Aldini, Alessandro Gorrieri, Roberto
Springer /2007-08-30 Paperback / 335 Pages
isbn-10: 3540748091 / isbn-13: 9783540748090
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science, 1256)
Degano, Pierpaolo Gorrieri, Roberto Marchetti-Spaccamela, Alberto
Springer /1997-06-18 Paperback / 896 Pages
isbn-10: 3540631658 / isbn-13: 9783540631651
Foundations of Security Analysis and Design: Tutorial Lectures (Lecture Notes in Computer Science, 2171)
Focardi, Riccardo Gorrieri, Roberto
Springer /2001-11-07 Paperback / 412 Pages
isbn-10: 3540428968 / isbn-13: 9783540428961
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings (Lecture Notes in Computer Science, 4037)
Gorrieri, Roberto Wehrheim, Heike
Springer /2006-01-01 Paperback / 288 Pages
isbn-10: 354034893X / isbn-13: 9783540348931
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures (Lecture Notes in Computer Science, 3655)
Aldini, Alessandro Gorrieri, Roberto Martinelli, Fabio
Springer /2005-09-12 Paperback / 284 Pages
isbn-10: 3540289550 / isbn-13: 9783540289555
Foundations of Security Analysis and Design II
Focardi, Riccardo Gorrieri, Roberto
Springer /2004-01-28 Paperback / 267 Pages
isbn-10: 3540209557 / isbn-13: 9783540209553
