| title | media type | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Formal Methods in Manufacturing | Paperback | 978-1-138-07429-3 (1-138-07429-2) | 2017 | Carla Seatzu · Xiaolan Xie | |
| Formal Methods in Manufacturing | Hardcover | 978-1-4665-6155-7 (1-4665-6155-6) | 2014 | Carla Seatzu · Xiaolan Xie | |
| Quantitative Evaluation of Systems: 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings | Taschenbuch | 978-3-319-22263-9 (3-319-22263-5) | 2015 | Boudewijn R. Haverkort |
F. Javier Campos · F. Javier Campos y Fernández de Sevilla · J C · J. Campos · JAVIER CAMPOS LEÓN · Javier Pérez Campos
CRC Press · Routledge · Springer