ISBN 9783030051556 books & textbook

Formal Methods: An Appetizer

Nielson, Flemming Riis Nielson, Hanne

Springer /2019-07-25 Hardcover / 177 Pages
isbn-10: 3030051552 / isbn-13: 9783030051556