Resultados da pesquisa - Peter Müller

  • A mostrar 1 - 3 resultados de 3
Refinar resultados
  1. Imagem da capa

    Modular Specification and Verification of Object-Oriented Programs / Por Peter Müller

    Publicado em 2002, c2002
    Ver documento en línea
    Livro
  2. Imagem da capa

    Advanced Lectures on Software Engineering : LASER Summer School 2007/2008 / Por Peter Müller

    Publicado em 2010, c2010
    Ver documento en línea
    Livro
  3. Imagem da capa

    Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings / Por Rajeev Joshi, Peter Müller, Andreas Podelski

    Publicado em 2012, c2012
    Ver documento en línea
    Livro

Ferramentas de pesquisa: