Protocol Specification, Testing and Verification, X: Proceedings of the Ifip Wg 6.1 Tenth International Symposium Ottawa, Ontario, Canada, 12-15 June, 1
Protocol Specification, Testing and Verification, X: Proceedings of the Ifip Wg 6.1 Tenth International Symposium Ottawa, Ontario, Canada, 12-15 June, 1
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''.
Read More
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''.
Read Less
Add this copy of Protocol Specification, Testing, and Verification, X: to cart. $6.71, Sold by Zubal Books rated 4.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1990 by Elsevier Science Publishing Company.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
416 pp., hardcover, ex library, else text clean & binding tight. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Protocol Specification, Testing, and Verification, X: to cart. $47.64, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1990 by North-Holland.
