Publisher's Synopsis
Verification, Model Checking, and Abstract Interpretation
Paperback (10 Feb 2020) | German
Not available for sale
Out of stock
Verification, Model Checking, and Abstract Interpretation
ISBN: | 9783030393236 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 10 Feb 2020 |
Language: | German |
Number of pages: | 488 |
Weight: | 679g |
Height: | 234mm |
Width: | 156mm |