(8 resultados)
Ordenar por
ordenar por...
74,38€(IVA inc.)
Formal methods for industrial critical systems: a survey of applications
- Gnesi, Stefania
- 978-0-470-87618-3
- 2011-03-07
110,24€(IVA inc.)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
- Margaria, Tiziana
- 978-3-319-47165-5
- 2016-10-06
101,92€(IVA inc.)
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
- Margaria, Tiziana
- 978-3-319-47168-6
- 2016-10-06
90,48€(IVA inc.)
72,80€(IVA inc.)
68,64€(IVA inc.)
SOFSEM 2017: Theory and Practice of Computer Science
- Steffen, Bernhard
- 978-3-319-51962-3
- 2017-01-11
60,32€(IVA inc.)
Tools and Algorithms for the Construction and Analysis of Systems
- Legay, Axel
- 978-3-6625-4579-9
- 2017-03-31
76,96€(IVA inc.)
Tools and Algorithms for the Construction and Analysis of Systems
- Legay, Axel
- 978-3-6625-4576-8
- 2017-03-31