72,79€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-91270-7
- 2018-06-15
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
66,56€(IVA inc.)
Abstract State Machines, Alloy, B, TLA, VDM, and Z
- Butler, Michael
- 978-3-319-33599-5
- 2016-05-11
58,24€(IVA inc.)
Unconventional Computation and Natural Computation
- Calude, Cristian S.
- 978-3-319-21818-2
- 2015-07-23
22,19€(IVA inc.)
TCP/IP Sockets in Java: practical guide for programmers
- Calvert, C.
- 978-0-12-374255-1
- 2008-04-01
135,15€(IVA inc.)
Reconfigurable computing: from FPGAs to hardware/software codesign
- Cardoso, Joao M.P.
- 978-1-4614-0060-8
- 2011-08-29
52,00€(IVA inc.)
Fetal, Infant and Ophthalmic Medical Image Analysis
- Cardoso, M. Jorge
- 978-3-319-67560-2
- 2017-09-09
72,79€(IVA inc.)
New Directions in Empirical Translation Process Research
- Carl, Michael
- 978-3-319-20357-7
- 2015-10-14