| Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th International Workshop, N 2022 Edition Contributor(s): Bloem, Roderick (Editor), Dimitrova, Rayna (Editor), Fan, Chuchu (Editor) |
|
 |
ISBN: 3030955605 ISBN-13: 9783030955601 Publisher: Springer OUR PRICE: $56.99 Product Type: Paperback Published: February 2022 |
| Additional Information |
| BISAC Categories: - Computers | Compilers - Computers | Software Development & Engineering - General - Computers | Programming Languages - General |
| Physical Information: 0.45" H x 6.14" W x 9.21" (0.67 lbs) 197 pages |