logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
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
Add cover
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
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783642136771 (364213677X)
Publisher: Springer
Pages no: 180
Edition language: English
Bookstores:
Books by Alessandro Aldini
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures - Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
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
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 Vi: Fosad Tutorial Lectures (Lecture Notes In Computer Science / Security And Cryptology) - Alessandro Aldini, Roberto Gorrieri
A Process Algebraic Approach to Software Architecture Design - Alessandro Aldini, Marco Bernardo, Flavio Corradini
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
Books by Marco Bernardo
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Sfm 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Marco Bernardo
Formal Methods for Performance Evaluatio... 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
A Process Algebraic Approach to Software Architecture Design - Alessandro Aldini, Marco Bernardo, Flavio Corradini
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
Books by Alessandra Di Pierro
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
Books by Herbert Wiklicky
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
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.