Protocol Specification, Testing, and Verification, X: Proceedings (I F I P W G 61 INTERNATIONAL WORKSHOP ON PROTOCOL SPECIFICATION, TESTING, AND ... SPECIFICATION, TESTING, AND VERIFICATION)

By Luigi Logrippo

The contributions to this book are from researchers and practitioners concerned with the theory and application of formal methods to the specification, testing and verification of protocols for open systems. Being the tenth in a successful series of symposia, a special feature of the book is a number of invited papers on the same theme, The First Ten Years, The Next Ten Years''.

• Format: Hardcover
• Language: English
• ISBN: 0444888101
• ISBN13: 9780444888105
• Release Date: January 1990
• Publisher: North-Holland
• Length: 428 Pages
• Weight: 1.55 lbs.