Formal Verification of Concurrent Embedded Software NEUF
32,44 €
Johannes Traub studied computer science and information technology with focus on embedded systems and formal verification. From 2011 to 2013 he worked at Daimler AG on the project "Automotive, Railway and Avionics Multicore Systems", funded by the German Federal Ministry of Education and Research (BMBF).
Jetzt bei Ebay:
![Produktbild - Embedded Memories by Lester, Siobhan [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/jC0AAeSweIdoPeue/s-l140.jpg)
![Produktbild - ERLANG Programming: A Concurrent Approach to Software Development [Paperback]](https://i.ebayimg.com/thumbs/images/g/BOwAAeSwQGFoU2q9/s-l140.jpg)
![Produktbild - Vos premiers pas avec SAP S/4HANA Embedded Analytics [French] [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/uL4AAeSwIFtoCEB2/s-l140.jpg)
![Produktbild - Linux for Embedded and Real-Time Applications [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/mboAAeSwfbFoSSWQ/s-l140.jpg)
![Produktbild - Continuous and Embedded Learning for Organizations [Paperback] NEUF](https://i.ebayimg.com/thumbs/images/g/cB4AAeSwYXpoUfGX/s-l140.jpg)
![Produktbild - Programming Crystal: Create High-Performance, Safe, Concurrent Apps [Paperback]](https://i.ebayimg.com/thumbs/images/g/97oAAeSwMbtn5JsV/s-l140.jpg)