logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering) - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering)
by: (author) (author) (author)
Format: paperback
ISBN: 9783540688921 (3540688927)
Publisher: Springer
Pages no: 527
Edition language: English
Bookstores:
Books by Pierpaolo Degano
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering) - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Programming Languages And Systems: 12th European Symposium On Programming, Esop 2003, Held As Part Of The Joint European Conferences On Theory And Practice ... (Lecture Notes In Computer Science) - Pierpaolo Degano
Formal Aspects Of Security And Trust: 7th International Workshop, Fast 2010, Pisa, Italy, September 16 17, 2010. Revised Selected Papers (Lecture Notes In Computer Science / Security And Cryptology) - Pierpaolo Degano, Sandro Etalle, Joshua Guttman
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009 Bologna, Italy, August 31 - September 1, 2009 Proceedings - Pierpaolo Degano, Roberto Gorrieri
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of ... Computer Science / Security and Cryptology) - Pierpaolo Degano, Luca Viganò
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009 Eindhoven, The Netherlands, November 5-6, 2009 Revised Selected Papers - Pierpaolo Degano, Joshua D. Guttman
Theoretical Computer Science - Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo
Formal Aspects in Security and Trust - Pierpaolo Degano, Fabio Martinelli, Joshua D. Guttman
Integrated Interactive Computing Systems... Integrated Interactive Computing Systems: Proceedings of the European Conference on Integrated Interactive Computing Systems, Ecics 82 Stresa, Italy - Pierpaolo Degano, Erik Sandewall
Principles of Security and Trust: First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings - Pierpaolo Degano, Joshua D. Guttman
Books by Marco Bernardo
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures - Marco Bernardo, Gianluigi Zavattaro, Luca Padovani
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures - Marco Bernardo, Jane Hillston
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011 Bertinoro, Italy, June 13-18, 2011 Advanced Lectures - Marco Bernardo, Valerie Issarny
Formal Methods for the Design of Real-Ti... Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ... Lectures (Lecture Notes in Computer Science) - Marco Bernardo, Flavio Corradini
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, Sfm 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures - Marco Bernardo, Paola Inverardi
Formal Methods for Quantitative Aspects ... Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, Sfm 2010, Bertinoro, Italy, June 21, 2010, Advanced Lectures - Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings - Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
Formal Methods for Mobile Computing: 5th... Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby ... / Programming and Software Engineering) - Marco Bernardo, Alessandro Bogliolo
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures - Marco Bernardo, Alessandro Bogliolo
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering) - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Books by Gianluigi Zavattaro
Formal Methods for Open Object-Based Distributed Systems: 7th Ifip Wg 6.1 International Conference, Fmoods 2005, Athens, Greece, June 15-17, 2005, Proceedings - Martin Steffen, Gianluigi Zavattaro
Formal Methods For Computational Systems Biology: 8th International School On Formal Methods For The Design Of Computer, Communication, And Software Systems, ... / Programming And Software Engineering) - Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services ... Computer Science and General Issues) - Mario Bravetti, Leila Kloul, Gianluigi Zavattaro
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures - Marco Bernardo, Gianluigi Zavattaro, Luca Padovani
Coordination Models And Languages: 10th International Conference, Coordination 2008, Oslo, Norway, June 4 6, 2008, Proceedings (Lecture Notes In Computer ... / Programming And Software Engineering) - Doug Lea, Gianluigi Zavattaro
Concur 2009 Concurrency Theory: 20th International Conference, Concur 2009, Bologna, Italy, September 1 4, 2009, Proceedings (Lecture Notes In Computer ... Computer Science And General Issues) - Mario Bravetti, Gianluigi Zavattaro
Share this Book
Copyright © 2024 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.