Concise Guide to Software Verification: From Model Checking to Annotation Checking
Springer; 1st ed. 2023 edition (July 25, 2023) | English
finelybookSpringer; 1st ed. 2023 edition (July 25, 2023) | English
Springer; 1st ed. 2023 edition (July 2, 2023) | English
Springer; 1st ed. 2023 edition (June 15, 2023) | English
Springer; 1st ed. 2023 edition (June 21, 2023) | English
Springer; 1st ed. 2021 edition (October 2,2021) | English | 9789811633904
Springer; 1st ed. 2023 edition (August 4, 2023) | English | 9783031278402
Springer; 1st ed. 2023 edition (August 3, 2023) | English | 9783031333897
Springer; 1st ed. 2023 edition (July 25, 2023) | English | 9789811996009
Springer; 1st ed. 2023 edition (August 1, 2023) | English | 9783031333859

9783319333663