ISBN 3639018915 books & textbook
Model Checking Abstract State Machines
VDM Verlag /2008-05-15 Paperback / 208 Pages
isbn-10: 3639018915 / isbn-13: 9783639018912
VDM Verlag /2008-05-15 Paperback / 208 Pages
isbn-10: 3639018915 / isbn-13: 9783639018912