| Challenges of Software Verification 2023 Edition Contributor(s): Arceri, Vincenzo (Editor), Cortesi, Agostino (Editor), Ferrara, Pietro (Editor) |
|
 |
ISBN: 9811996008 ISBN-13: 9789811996009 Publisher: Springer OUR PRICE: $161.49 Product Type: Hardcover Published: July 2023 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Telecommunications - Computers | Software Development & Engineering - General - Computers | Security - General |
| Physical Information: 0.69" H x 6.14" W x 9.21" (1.26 lbs) 264 pages |