Catálogo de publicaciones - libros

Compartir en
redes sociales


Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Robótica y control automático; Ciencias de la computación

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2006 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-37406-0

ISBN electrónico

978-3-540-37411-4

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación