Budkowski, Stan 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
Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)
Springer /2013-02-27 Paperback / 464 Pages
isbn-10: 1475763123 / isbn-13: 9781475763126
