Showing 1 - 7 results of 7 for search 'Bernardo, Marco', query time: 0.02s Refine Results
  1. 1
    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
    by Bernardo, Marco
    Published in Springer e-books (2005)
    Get full text
    eBook
  2. 2
    Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures /
    by Bernardo, Marco
    Published in Springer eBooks (2008)
    Get full text
    eBook
  3. 3
    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
    by Bernardo, Marco
    Published in Springer e-books (2006)
    Get full text
    eBook
  4. 4
    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 /
    by Bernardo, Marco
    Published in Springer e-books (2007)
    Get full text
    eBook
  5. 5
    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 /
    Published in Springer eBooks (2015)
    Other Authors: “...Bernardo, Marco...”
    Get full text
    eBook
  6. 6
    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 /
    Published in Springer eBooks (2013)
    Other Authors: “...Bernardo, Marco...”
    Get full text
    eBook
  7. 7
    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 /
    Published in Springer eBooks (2014)
    Other Authors: “...Bernardo, Marco...”
    Get full text
    eBook
Search Tools: Get RSS Feed