57,15€(IVA inc.)
Formal methods for components and objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey
- Boer, Frank S. de
- 978-3-642-04166-2
- 2009-09-14
56,16€(IVA inc.)
Formal methods for components and objects: 8th international symposium, FMCO 2009, eindhoven, the netherlands, november 4-6, 2009. revised selected papers
- de Boer, Frank S.
- 978-3-642-17070-6
- 2010-11-02
81,22€(IVA inc.)
Theoretical computer science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
- Baeten, Jos C.M.
- 978-3-642-33474-0
- 2012-08-17
72,75€(IVA inc.)
Verification of sequential and concurrent programs
- Apt, Krzysztof R.
- 978-1-84882-744-8
- 2009-11-01