logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Roberto Gorrieri's Books back

language per page order
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures - Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
by Alessandro Aldini (author), Fabio Martinelli (author), Roberto Gorrieri (author)
publisher: Springer publish date: October 1st 2005
format: paperback pages: 273
language: English
ISBN: 3540289550 (9783540289555)
Foundations of Security Analysis and Design II: Fosad 2001/2002 Tutorial Lectures - Roberto Gorrieri
Foundations of Security Analysis and Design II: Fosad 2001/2002 Tutorial Lectures
by Roberto Gorrieri (author)
publisher: Springer publish date: January 28th 2004
format: paperback pages: 272
language: English
ISBN: 3540209557 (9783540209553)
Foundations Of Security Analysis And Design Vi: Fosad Tutorial Lectures (Lecture Notes In Computer Science / Security And Cryptology) - Alessandro Aldini, Roberto Gorrieri
Foundations Of Security Analysis And Design Vi: Fosad Tutorial Lectures (Lecture Notes In Computer Science / Security And Cryptology)
by Roberto Gorrieri (author), Alessandro Aldini (author)
publisher: Springer publish date: August 19th 2011
format: paperback pages: 274
language: English
ISBN: 3642230814 (9783642230813)
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures - Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures
by Roberto Gorrieri (author), Alessandro Aldini (author), Gilles Barthe (author)
publisher: Springer publish date: August 17th 2009
format: paperback pages: 338
language: English
ISBN: 364203828X (9783642038280)
Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings - Roberto Gorrieri, Heike Wehrheim
Formal Methods for Open Object-Based Distributed Systems: 8th Ifip Wg 6.1 International Conference, Fmoods 2006, Bologna, Italy, June 14-16, 2006, Proceedings
by Heike Wehrheim (author), Roberto Gorrieri (author)
publisher: Springer publish date: June 9th 2006
format: paperback pages: 270
language: English
ISBN: 354034893X (9783540348931)
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science) - Riccardo Focardi, Roberto Gorrieri
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science)
by Riccardo Focardi (author), Roberto Gorrieri (author)
publisher: Springer publish date: October 10th 2008
format: kindle pages: 272
language: English
ASIN: B000VIE1NS
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 - Roberto Gorrieri, Alessandro Fantechi
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
by Alessandro Fantechi (author), Roberto Gorrieri (author)
publisher: Springer publish date: February 28th 1999
format: hardcover pages: 436
language: English
ISBN: 0792384296 (9780792384298)
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 Bologna, Italy, August 31 - September 1, 2009 Proceedings - Pierpaolo Degano, Roberto Gorrieri
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 Bologna, Italy, August 31 - September 1, 2009 Proceedings
by Roberto Gorrieri (author), Pierpaolo Degano (author)
publisher: Springer publish date: August 17th 2009
format: paperback pages: 327
language: English
ISBN: 3642038441 (9783642038440)
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 - Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
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
by Alessandro Fantechi (author), Roberto Gorrieri (author), Paolo Ciancarini (author)
publisher: Springer publish date: January 17th 2013
format: paperback pages: 436
ISBN: 1475752660 (9781475752663)
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.