Catálogo de publicaciones - libros

Compartir en
redes sociales


Título de Acceso Abierto

Computer Aided Verification

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Computer Science; Software Engineering; Programming Languages; Compilers; Interpreters; Theory of Computation; Computer Systems Organization and Communication Networks

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No requiere 2019 SpringerLink acceso abierto

Información

Tipo de recurso:

libros

ISBN impreso

978-3-030-25539-8

ISBN electrónico

978-3-030-25540-4

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

The Editor(s) (if applicable) and The Author(s)