Delivery included to the United States

Protocol Specification, Testing, and Verification, IX

Protocol Specification, Testing, and Verification, IX Proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989

Book (31 Dec 1989)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Researchers and practitioners concerned with the application of formal methods to the design, description, analysis, implementation and testing of open systems contributed to this book. It is the ninth in a successful series of annual volumes.

Book information

ISBN: 9780444883438
Publisher: North-Holland
Imprint: North-Holland
Pub date:
DEWEY: 004.62
DEWEY edition: 20
Language: English
Number of pages: 401
Weight: -1g
Height: 230mm