ISBN 3030955605 books & textbook

Software Verification (Programming and Software Engineering)

Bloem, Roderick Dimitrova, Rayna Fan, Chuchu Sharygina, Natasha

Springer /2022-02-22 Paperback / 212 Pages
isbn-10: 3030955605 / isbn-13: 9783030955601