Verification, Model Checking, and Abstract Interpretation
Springer International Publishing AG, 2018
66,50 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9783319737201
- ISBN-10
- 3319737201
- Publisher
- Springer International Publishing AG
- Year
- 2018
- Publication date
- 2018-01-10
- Pages
- 540
- Dimensions
- 250x243x35
- Weight
- 872