skip to main content
Invitado
Mi portal
Mi Cuenta
Cerrar sesión
Identificarse
This feature requires javascript
Tags
Periódicos Eletrónicos
Libros Eletrónicos
Bases de Datos
Bibliotecas de USP
Ayuda
Ayuda
Idioma:
Inglés
Castellano
Portugués (Brasil)
This feature required javascript
This feature requires javascript
Primo Search
Búsqueda General
Búsqueda General
Colección Física
Colecciones Físicas
Producción Intelectual USP
Producción USP
Search For:
Clear Search Box
Search in:
Colección Física
Or hit Enter to replace search target
Or select another collection:
Search in:
Colección Física
Búsqueda Avanzada
Búsqueda por Índices
This feature requires javascript
This feature requires javascript
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.
Recurso en línea
Localizaciones y Reservas
Detalles
Comentarios y Etiquetas
Solicitaciones
Servicios adicionales
Navegación virtual
Acciones
Agregar a Mi Portal
Eliminar de Mi Portal
Correo Electrónico
Imprimir
Enlae permanente
Cita bibliográfica
EasyBib
EndNote
RefWorks
Delicious
Exportación RIS
Exportar BibTeX
This feature requires javascript
Haga clic aquí para identificar y realizar solicitudes
This feature requires javascript
Volver a la lista de resultados
Anterior
Resultado
9
Siguiente
This feature requires javascript
This feature requires javascript
Buscando en bases de datos remotas, por favor espere
Buscando por
en
scope:(USP_FISICO)
Mostrar lo que tiene hasta ahora
This feature requires javascript
This feature requires javascript
Anterior
Página de Inicio
RSS
Feed
Pol��ticas
Hable con Nosotros
Logos de Redes Sociales: 
Logos de Redes Sociales: