74,38€(IVA inc.)
Formal methods for industrial critical systems: a survey of applications
- Gnesi, Stefania
- 978-0-470-87618-3
- 2011-03-07
121,63€(IVA inc.)
Leveraging applications of formal methods, verification and validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings
- Margaria, T.
- 978-3-540-88478-1
- 2008-11-01
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
72,80€(IVA inc.)
90,48€(IVA inc.)
100,83€(IVA inc.)
Service-oriented computing - ICSOC 2008: 6th International Conference, Sydney, Australia, December 1-5, 2008, Proceedings
- Bouguettaya, A.
- 978-3-540-89647-0
- 2008-12-01
68,64€(IVA inc.)
SOFSEM 2017: Theory and Practice of Computer Science
- Steffen, Bernhard
- 978-3-319-51962-3
- 2017-01-11
106,08€(IVA inc.)
The Construction of Fatherhood: The Jurisprudence of the European Court of Human Rights
- Margaria, Alice
- 978-1-108-47509-9
- 2019-11-28
76,96€(IVA inc.)
Tools and Algorithms for the Construction and Analysis of Systems
- Legay, Axel
- 978-3-6625-4576-8
- 2017-03-31