Formal Methods for Industrial Critical Systems
de Stefania Gnesi, Tiziana Margaria
Ediciones (4)
- Formal Methods for Industrial Critical Systems (2012)
Wiley & Sons, Limited, John · inglés · ISBN 9781118459898
- Formal Methods for Industrial Critical Systems (2012)
IEEE Computer Society Press · inglés · ISBN 9781118459881
- Formal Methods for Industrial Critical Systems (2012)
IEEE Computer Society Press · inglés · ISBN 9781118459874
- Formal Methods for Industrial Critical Systems (2012)
IEEE Computer Society Press · inglés · ISBN 9781118459867


