66,56€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-33599-5
- 2016-05-11
72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15
57,15€(IVA inc.)
Abstract state machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
- Börger, E.
- 978-3-540-87602-1
- 2008-10-01
64,48€(IVA inc.)
FM 2011 : formal methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
- Butler, Michael
- 978-3-642-21436-3
- 2011-06-30
66,56€(IVA inc.)
Formal Methods and Software Engineering
- Butler, Michael
- 978-3-319-25422-7
- 2015-11-02
72,79€(IVA inc.)
Linguistic Expressions and Semantic Processing
- Butler, Alastair
- 978-3-319-18829-4
- 2015-09-01
72,79€(IVA inc.)
Linguistic Expressions and Semantic Processing
- Butler, Alastair
- 978-3-319-38610-2
- 2016-10-17
55,07€(IVA inc.)
Methods, models and tools for Fault tolerance
- Butler, M.
- 978-3-642-00866-5
- 2009-04-01
145,55€(IVA inc.)
Service level agreements for cloud computing
- Wieder, Philipp
- 978-1-4614-1613-5
- 2011-12-28