ISBN 3319839802 books & textbook
Provably Correct Systems (NASA Monographs in Systems and Software Engineering)
Hinchey, Mike Bowen, Jonathan P. Olderog, Ernst-Rüdiger
Springer /2018-05-03 Paperback / 343 Pages
isbn-10: 3319839802 / isbn-13: 9783319839806