logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers - Gilles Barthe
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, Cassis 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
by: (author)
Format: paperback
ISBN: 9783540336891 (3540336893)
Publisher: Springer
Pages no: 173
Edition language: English
Bookstores:
Books by Gilles Barthe
Formal Methods for Open Object-Based Distributed Systems: 10th Ifip Wg 6.1 International Conference, Fmoods 2008, Oslo, Norway, June 4-6, 2008 Proceedings - Gilles Barthe
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on theory and practice of software, ETAPS 2011, Saarbrucken, Germany, March 26-April 3, 2011, Proceedings - Gilles Barthe
Engineering Secure Software and Systems: 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings - Gilles Barthe, Ben Livshits, Riccardo Scandariato
Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in Computer ... Computer Science and General Issues) - Gilles Barthe, Cxe9dric Fournet
Applied Semantics: International Summer School, Appsem 2000, Caminha, Portugal, September 9-15, 2000. Advanced Lectures - Gilles Barthe, João Saraiva
Foundations of Security Analysis and Design V: FOSAD 2007/2008/2009 Tutorial Lectures - Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 Montevideo, Uruguay, November 14-18, 2011 Proceedings - Gilles Barthe, Alberto Pardo, Gerardo Schneider
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, ... Computer Science / Security and Cryptology) - Gilles Barthe, Benjamin Gregoire, Marieke Huisman, Jean-Luis Lanet
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, Cassis 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers - Gilles Barthe
Trustworthy Global Computing: Third Symposium, Tgc 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers - Gilles Barthe
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.