| Verification, Model Checking, and Abstract Interpretation: 24th International Conference, Vmcai 2023, Boston, Ma, Usa, January 16-17, 2023, Proceeding 2023 Edition Contributor(s): Dragoi, Cezara (Editor), Emmi, Michael (Editor), Wang, Jingbo (Editor) |
|
 |
ISBN: 3031249496 ISBN-13: 9783031249495 Publisher: Springer OUR PRICE: $80.74 Product Type: Paperback Published: January 2023 |
| Additional Information |
| BISAC Categories: - Computers | Computer Science - Computers | Data Processing - Computers | Expert Systems |
| Physical Information: 0.82" H x 6.14" W x 9.21" (1.23 lbs) 389 pages |