Formal description techniques and protocol specification, testing and verification
by IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino
1997550 pages
Chapman & Hall·4 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Formal description techniques and protocol specification, testing and verification (1997)
Formal description techniques and protocol specification, testing and verification (1997)
Chapman & Hall, Springer
Chapman & Hall, Springer
ISBN 10: 0412820609