Cargando…
Formal methods in manufacturing
Autores principales: | , , |
---|---|
Lenguaje: | eng |
Publicado: |
CRC Press
2014
|
Materias: | |
Acceso en línea: | http://cds.cern.ch/record/1749189 |
_version_ | 1780943033119801344 |
---|---|
author | Campos, Javier Seatzu, Carla Xie, Xiaolan |
author_facet | Campos, Javier Seatzu, Carla Xie, Xiaolan |
author_sort | Campos, Javier |
collection | CERN |
id | cern-1749189 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 2014 |
publisher | CRC Press |
record_format | invenio |
spelling | cern-17491892020-07-16T20:02:07Zhttp://cds.cern.ch/record/1749189engCampos, JavierSeatzu, CarlaXie, Xiaolan Formal methods in manufacturing EngineeringCRC Pressoai:cds.cern.ch:17491892014 |
spellingShingle | Engineering Campos, Javier Seatzu, Carla Xie, Xiaolan Formal methods in manufacturing |
title |
Formal methods in manufacturing
|
title_full |
Formal methods in manufacturing
|
title_fullStr |
Formal methods in manufacturing
|
title_full_unstemmed |
Formal methods in manufacturing
|
title_short |
Formal methods in manufacturing
|
title_sort | formal methods in manufacturing |
topic | Engineering |
url | http://cds.cern.ch/record/1749189 |
work_keys_str_mv | AT camposjavier formalmethodsinmanufacturing AT seatzucarla formalmethodsinmanufacturing AT xiexiaolan formalmethodsinmanufacturing |