ISBN 9787111485216 books & textbook
Formal Methods for Industrial Critical Systems: Summary of Application(Chinese Edition)
[ YI ] Stefania Gnesi . Tizian...
Machinery Industry Press /2015-01-01 Paperback
isbn-10: 7111485211 / isbn-13: 9787111485216