Verification, Model Checking, and Abstract Interpretation
Springer Nature Switzerland AG, 2019
66,50 €On orderDelivery: 2-3 weeks
- ISBN-13
- 9783030112448
- ISBN-10
- 3030112446
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-01-11
- Pages
- 602
- Dimensions
- 235x155x