When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Formal Verification of Concurrent Embedded Software [Paperback]
- Item No : 176809834185
- Condition : Brand New
- Brand : No brand Info
- Seller : loveourprices2
- Current Bid : US $24.68
-
* Item Description
- 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).
★ Recommended Products Related To This Item
♥ Best Selling Products in this category
