Applicable Formal Methods for Safe Industrial Products
Springer International Publishing AG, 2023
92,25 €On orderDelivery: 2-3 weeks
After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche System-Technik on fault-tolerant systems, distributed systems, database systems, and safety-critical embedded systems.
- ISBN-13
- 9783031401312
- ISBN-10
- 303140131X
- Publisher
- Springer International Publishing AG
- Year
- 2023
- Publication date
- 2023-08-17
- Pages
- 334
- Dimensions
- 235x155x