Formal Methods for Industrial Critical Systems
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013
59,75 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9783642410093
- ISBN-10
- 364241009X
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Year
- 2013
- Publication date
- 2013-09-13
- Pages
- 199
- Dimensions
- 235x155x