Catálogo de publicaciones - libros
Título de Acceso Abierto
Deductive verification of object-oriented software: Deductive verification of object-oriented software
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
design by contract; software specification; software verification; abstract interpretation; theorem proving
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.
