36,58€(IVA inc.)
Proof theory: a selection of papers from the Leeds proof theory programme 1990
- Aczel, Peter
- 978-0-521-05416-4
- 2008-02-28
93,60€(IVA inc.)
Deductive Software Verification - The KeY Book
- Ahrendt, Wolfgang
- 978-3-319-49811-9
- 2016-12-27
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
60,32€(IVA inc.)
Formal Techniques for Safety-Critical Systems
- Artho, Cyrille
- 978-3-319-17580-5
- 2015-06-14
91,52€(IVA inc.)
Future security: 7th Security Research Conference, Future Security 2012, Bonn, Germany, September 4-6, 2012. Proceedings
- Aschenbruck, Nils
- 978-3-642-33160-2
- 2012-08-03
82,26€(IVA inc.)
Digital design (VHDL): an embedded systems approach using VHDL
- Ashenden, Peter J.
- 978-0-12-369528-4
- 2008-01-01
