Formal methods for industrial critical systems 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. proceedings /

This book constitutes the proceedings of the 17th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2012, held in Paris, France, in August 2012. <br>The 14 papers presented were carefully reviewed and selected from 37 submissions. The aim of the FMICS workshop ser...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pinger, Ralf, Stoelinga, Mariëlle
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg Imprint: Springer 2012.
Colección:Lecture Notes in Computer Science, 7437
Materias:
Acceso en línea:Click here to view the full text content
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Sistema en mantenimiento

Nuestro Sistema de Biblioteca se encuentra en mantenimiento.

En este momento no hay información de existencias y disponibilidad de copias. Por favor acepte nuestras disculpas por los inconvenientes causados, contáctenos para una mayor información.

david@pintaran.my

Internet

Click here to view the full text content