58,24€(IVA inc.)
Formal Aspects of Component Software
- Braga, Christiano
- 978-3-319-28933-5
- 2016-03-07
57,31€(IVA inc.)
Formal Modeling and Analysis of Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
- Ölveczky, Peter Csaba
- 978-1-4471-6686-3
- 2015-09-06
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-17580-5
- 2015-06-14
54,08€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-53945-4
- 2017-02-16
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-29509-1
- 2016-02-03
83,20€(IVA inc.)
Logic, Rewriting, and Concurrency
- Martí-Oliet, Narciso
- 978-3-319-23164-8
- 2015-10-14
47,84€(IVA inc.)
Rewriting logic and its applications: 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers
- Csaba Ölveczky, Peter
- 978-3-642-16309-8
- 2010-10-06