Catálogo de publicaciones - libros
Título de Acceso Abierto
Specification and verification of object-oriented software components
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
proof obligations; encapsulation; components; context specification; deductive verification; modular proofs; formal specification; object-orientation
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Alemania
Información sobre derechos de publicación
Currently all books are published under the Creative Commons license BY-SA 4.0 DE.