logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
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: (author) (author)
Format: hardcover
ISBN: 9780792384298 (0792384296)
Publisher: Springer
Pages no: 436
Edition language: English
Bookstores:
Books by Roberto Gorrieri
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
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures (Lecture Notes in Computer Science) - Riccardo Focardi, 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 - Roberto Gorrieri, Alessandro Fantechi
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 Bologna, Italy, August 31 - September 1, 2009 Proceedings - Pierpaolo Degano, 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 - Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures - Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
Foundations of Security Analysis and Design II: Fosad 2001/2002 Tutorial Lectures - Roberto Gorrieri
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 V: FOSAD 2007/2008/2009 Tutorial Lectures - Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Books by Alessandro Fantechi
Formal Methods For Industrial Critical Systems: 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15 16, 2008, Revised Selected Papers ... / Programming And Software Engineering) - Darren Cofer, 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 - 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 - Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
Share this Book
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.