Formal methods in manufacturing [electronic resource] / edited by Javier Campos, Carla Seatzu, Xiaolan Xie.
Series: Industrial information technology seriesc2014Description: 1 online resource (xviii, 682 p.) : illSubject(s): Genre/Form: Additional physical formats: Print version:: Formal methods in manufacturingOnline resources:
eBooks
No physical items for this record
Description based on print version record.
Includes bibliographical references.