Catálogo de publicaciones - libros

Compartir en
redes sociales


Formal Methods Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Ciencias de la computación

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

Información

Tipo de recurso:

libros

ISBN impreso

978-3-540-70951-0

ISBN electrónico

978-3-540-70952-7

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación