skip to main content

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

Springer Berlin Heidelberg 2002

Acceso en línea. La biblioteca tiene también copias físicas.

Autentícate para publicar un comentario

Autentícate para Añadir nuevas etiquetas

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora