Protocol Specification, Testing, and Verification, IX
| Author | : Ed Brinksma |
| Publisher | : North Holland |
| Total Pages | : 428 |
| Release | : 1990 |
| ISBN-10 | : UCAL:B5118624 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Protocol Specification, Testing, and Verification, IX by : Ed Brinksma
Download or read book Protocol Specification, Testing, and Verification, IX written by Ed Brinksma and published by North Holland. This book was released on 1990 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
