Design And Validation Of Computer Protocols
Author:   Gerard J. Holzmann
Publisher:   Pearson Education (US)
Edition:   United States ed
ISBN:  

9780135399255


Pages:   512
Publication Date:   01 November 1990
Format:   Paperback
Availability:   Out of stock   Availability explained


Our Price $285.99 Quantity:  
Add to Cart

Share |

Design And Validation Of Computer Protocols


Add your own review!

Overview

Designed to be more than just a guide to protocol standards, codes and formats, this text offers a systematic approach for designing complete and consistent protocol systems with the power to govern the interactions of concurrent processes in distributed systems. Specifically intended as a guide to protocol design and analysis, the text familiarizes readers with all the issues of protocol design including general and specific techniques for process co-ordination.

Full Product Details

Author:   Gerard J. Holzmann
Publisher:   Pearson Education (US)
Imprint:   Prentice Hall
Edition:   United States ed
Dimensions:   Width: 18.30cm , Height: 2.60cm , Length: 24.20cm
Weight:   0.930kg
ISBN:  

9780135399255


ISBN 10:   0135399254
Pages:   512
Publication Date:   01 November 1990
Audience:   College/higher education ,  Tertiary & Higher Education
Format:   Paperback
Publisher's Status:   Out of Print
Availability:   Out of stock   Availability explained

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now