29 results
Type of media (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
29 results

Your search for Marco Bernardo

  1. Cover: Formal Methods for Multicore Programming - Springer
    Marco Bernardo | Einar Broch Johnsen
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    05/2015
    Springer
    9783319189413 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  2. Cover: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Springer
    Marco Bernardo | Rocco De Nicola | Jane Hillston
    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
    16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures
    06/2016
    Springer
    9783319340968 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods for Dynamical Systems - Springer
    Marco Bernardo | Erik de Vink | Alessandra Di Pierro
    Formal Methods for Dynamical Systems
    13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
    06/2013
    Springer
    9783642388743 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  4. Cover: Formal Methods for Executable Software Models - Springer
    Marco Bernardo | Ferruccio Damiani | Reiner Haehnle
    Formal Methods for Executable Software Models
    14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
    05/2014
    Springer
    9783319073170 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Eternal Networked Software Systems - Springer
    Marco Bernardo | Valerie Issarny
    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
    06/2011
    Springer
    9783642214554 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Formal Methods for Model-Driven Engineering - Springer
    Marco Bernardo | Vittorio Cortellessa | Alfonso Pierantonio
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
    06/2012
    Springer
    9783642309823 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Computer Performance Engineering - Springer
    Alessandro Aldini | Marco Bernardo | Luciano Bononi
    Computer Performance Engineering
    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
    09/2010
    Springer
    9783642157844 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Formal Methods for Quantitative Aspects of Programming Languages - Springer
    Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro
    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
    06/2010
    Springer
    9783642136788 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Computer Performance Engineering - Springer
    Alessandro Aldini | Marco Bernardo | Luciano Bononi
    Computer Performance Engineering
    7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings
    09/2010
    1st EDN1st Edition
    Springer
    9783642157837 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  10. Cover: Formal Methods for Software Architectures - Springer
    Marco Bernardo | Paola Inverardi
    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
    11/2003
    Springer
    9783540398004 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  11. Cover: Formal Methods for the Design of Real-Time Systems - Springer
    Marco Bernardo | Flavio Corradini
    Formal Methods for the Design of Real-Time Systems
    International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
    12/2004
    Springer
    9783540300809 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  12. Cover: A Process Algebraic Approach to Software Architecture Design - Springer
    Alessandro Aldini | Marco Bernardo | Flavio Corradini
    A Process Algebraic Approach to Software Architecture Design
    03/2010
    1st EDN1st Edition
    Springer
    9781848002234 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  13. Cover: Formal Methods for Web Services - Springer
    Marco Bernardo | Luca Padovani | 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
    05/2009
    Springer
    9783642019173 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.17
    Shipment within 5-7 days
  14. Cover: Formal Methods for Eternal Networked Software Systems - Springer
    Marco Bernardo | Valerie Issarny
    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
    06/2011
    1st EDN1st Edition
    Springer
    9783642214547 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Formal Methods for Quantitative Aspects of Programming Languages - Springer
    Alessandro Aldini | Marco Bernardo | Alessandra Di Pierro
    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
    06/2010
    Springer
    9783642136771 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  16. Cover: Formal Methods for Hardware Verification - Springer
    Marco Bernardo | Alessandro Cimatti
    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
    05/2006
    Springer
    9783540343042 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  17. Cover: Formal Methods for Dynamical Systems - Springer
    Marco Bernardo | Erik de Vink | Alessandra Di Pierro
    Formal Methods for Dynamical Systems
    13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures
    06/2013
    Springer
    9783642388736 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  18. Cover: Formal Methods for Model-Driven Engineering - Springer
    Marco Bernardo | Vittorio Cortellessa | Alfonso Pierantonio
    Formal Methods for Model-Driven Engineering
    12th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
    06/2012
    Springer
    9783642309816 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  19. Cover: Probabilistic Trace and Testing Semantics - now publishers Inc
    Marco Bernardo
    Probabilistic Trace and Testing Semantics
    The Importance of Being Coherent
    08/2022
    now publishers Inc
    9781638280743 (ISBN)
    Book
    Paperback/Softback
    €91.75
    Shipment within 3-4 weeks
  20. Cover: Formal Methods for Multicore Programming - Springer
    Marco Bernardo | Einar Broch Johnsen
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    05/2015
    Springer
    9783319189406 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €51.36
    Shipment within 10-15 days
    2. of 2