Lybrary.com: ebooks and download videos Search All  Title  Author 
Home / Nonfiction / Computers / Information Theory

Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Pro

$72.95
| £60.27 | €69.77 | Ca$99.15 | Au$98.63
by R. J. Linn
What is this?DRM-PDF | by download   add to wish list
Protocol Specification, Testing and Verification, XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Pro by R. J. Linn

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations.

Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models.

Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

To view this DRM protected ebook on your desktop or laptop you will need to have Adobe Digital Editions installed. It is a free software. We also strongly recommend that you sign up for an AdobeID at the Adobe website. For more details please see FAQ 1&2. To view this ebook on an iPhone, iPad or Android mobile device you will need the Adobe Digital Editions app, or BlueFire Reader or Txtr app. These are free, too. For more details see this article.


SHARE  Share by Email  Share on Facebook  Share on Twitter  Share on Linked In  Share on Delicious
or call in the US toll free 1-888-866-9150 product ID: 619767

Ebook Details
Size: 41.6 MB
Publisher: North Holland
Date published:   1992
ISBN: 9781483293349 (DRM-PDF)

DRM Settings
Copying:not allowed
Printing:not allowed
Read Aloud:  not allowed

This product is listed in the following categories:

Nonfiction > Computers > Information Technology
Nonfiction > Computers > Information Theory

If you find anything wrong with this product listing, perhaps the description is wrong, the author is incorrect, or it is listed in the wrong category, then please contact us. We will promptly address your feedback.

Submit 5 page SummaryWhat is this?

01/22/2017
© 2017 Lybrary.com