Books /New Paradigms in Computer Aided Verification

BROWSE BY

New Paradigms in Computer Aided Verification

ISBN

9781639896905

Author

Tyler Keating

Publisher

States Academic Press

Language

English

Publication Year

2023

Category :

Computer Science & Information Technology - Computer Science

Price

$ 157.95