Cargando…

Formal methods in manufacturing

Detalles Bibliográficos
Autores principales: Campos, Javier, Seatzu, Carla, Xie, Xiaolan
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