ISBN 1475752628 books & textbook
Formal Description Techniques and Protocol Specification, Testing and Verification (IFIP Advances in Information and Communication Technology)
Budkowski, Stan Cavalli, Ana Najm, Elie
Springer /2013-03-05 Paperback / 488 Pages
isbn-10: 1475752628 / isbn-13: 9781475752625
