Concise Guide to Software Verification: From Model Checking to Annotation Checking 2023 Edition Contributor(s): Huisman, Marieke (Author), Wijs, Anton (Author) |
|
ISBN: 3031301668 ISBN-13: 9783031301667 Publisher: Springer OUR PRICE: $85.49 Product Type: Hardcover Published: July 2023 |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - Quality Assurance & Testing - Mathematics | Number Theory |
Physical Information: 0.71" H x 6.14" W x 9.29" (1.30 lbs) 248 pages |