Review & Download Ebooks Protocol specification, testing, and verification, XI
| Title | : | Protocol specification, testing, and verification, XI |
| Release | : | 1991 |
| Genre | : | Computers |
| Author | : | Bengt Jonsson,Joachim Parrow,Björn Pehrson |
| Publisher | : | North Holland |
| Rating | : | / |
| ID book | : | SC6FAAAAIAAJ |
This book contains original contributions on theory, applications and experiences from the use of advanced techniques applied to distributed systems. The emphasis is on services and protocols. Specific areas addressed include: Specification languages and models, Formal specification, Testing and certification, Implementation and Environments and automated tools. In addition to these more traditional topics, contributions are included on: bull;Specification, testing and verification of real-time properties; bull;Novel methods for formal specification of realistic services; bull;Automated and semi-automated analysis of non-finite-state systems; bull;Design and implementation by stepwise refinement and bull;Applications of the above to new generations of high-speed networks, multi-media services and distributed environments for computer supported cooperative work.
You can see the Google Book Information here . The Protocol specification, testing, and verification, XI is falseand PDF is false. Total Pages of this book is 365. and falsein EPUB.
Status Protocol specification, testing, and verification, XI book is NONE and Type of book size BOOK. If you like it, you can preview this book from this :
Belum ada Komentar untuk "Review & Download Ebooks Protocol specification, testing, and verification, XI"
Posting Komentar