skip to main content

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

Acesso online. A biblioteca também possui exemplares impressos.

  • Título:
    Modular Specification and Verification of Object-Oriented Programs
  • Autor: Peter Müller
  • Notas: Includes bibliographical references (p. [271]-283) and index
  • Editor: Springer Berlin Heidelberg
  • Data de criação/publicação: 2002
  • Idioma: Inglês

Buscando em bases de dados remotas. Favor aguardar.