22269889
9780444888105
Protocol Specification, Testing and Verification, X : Proceedings of the IFIP WG 6.1 Tenth International Symposium Ottawa, Ontario, Canada, 12-15 June, 1990
by Logrippo, L., Probert, R. L., Ural, H.
About this item
- Condition: Good
- Provider: Ergodebooks Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Buy with confidence. Excellent Customer Service & Return policy.
Product details
- ISBN-13: 9780444888105
- ISBN: 0444888101
- Publication Date: 1990
- Publisher: Elsevier Science & Technology Books
AUTHOR
SUMMARY
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''.Logrippo, L. is the author of 'Protocol Specification, Testing and Verification, X : Proceedings of the IFIP WG 6.1 Tenth International Symposium Ottawa, Ontario, Canada, 12-15 June, 1990', published 1990 under ISBN 9780444888105 and ISBN 0444888101.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
