Summer Reading Sale
 
 

Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »

spacer

On Order

$117.75
New Trade Paper
Currently out of stock.
Add to Wishlist
available for shipping or prepaid pickup only
Qty Store Section
- Local Warehouse Networking- General

Design and Validation of Computer Protocols (Prentice Hall Software Series)

by

Design and Validation of Computer Protocols (Prentice Hall Software Series) Cover

 

Synopses & Reviews

Publisher Comments:

This volume discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems, such as error control and flow control, are covered in detail, but also structured design methods and the construction of formal validation models. The book contains complete listings and explanations of new protocol validation and design tool called SPIN. Author is in charge of protocol design at Bell Labs. Professionals who bought Tanenbaum's COMPUTER NETWORKS, 2/E and Comer's TCP/IP will buy this. This is the first book to cover automated protocol design and validation tools extensively.

Book News Annotation:

Holzmann (in charge of protocol design, Bell Labs) discusses the fundamental problems of designing logically consistent methods of communication between multiple computer processes. Standard protocol design problems are covered in detail as are structured design methods and the construction of formal validation models.
Annotation c. Book News, Inc., Portland, OR (booknews.com)

Synopsis:

Offering a systematic approach for designing protocol systems with the power to govern the interactions of concurrent processes in distributed systems, this text seeks to familiarize readers with issues of protocol design including general and specific techniques for process co-ordination.

Synopsis:

This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used.

Product Details

ISBN:
9780135399255
Other:
Holzmann, Gerard
Publisher:
Prentice Hall
Author:
Holzmann, Gerard
Author:
Holzmann, Gerard J.
Location:
Englewood Cliffs, N.J. :
Subject:
Programming Languages - General
Subject:
Design
Subject:
Computer Engineering
Subject:
Data Transmission Systems - General
Subject:
Networking - Network Protocols
Subject:
Computer network protocols
Subject:
Computer network protocols -- Design.
Subject:
Networking - General
Copyright:
Edition Description:
Trade paper
Series:
Prentice Hall Software Series
Series Volume:
9329
Publication Date:
October 1990
Binding:
TRADE PAPER
Grade Level:
Professional and scholarly
Language:
English
Illustrations:
Yes
Pages:
512
Dimensions:
9.5 x 7.25 x 1 in 789 gr

Other books you might like

  1. Effective C++ 2ND Edition 50... Used Trade Paper $17.50
  2. NORJAK: The Investigation of D. B.... Used Trade Paper $25.00
  3. Doing Things: A Guide to Programing... Used Trade Paper $7.50
  4. Revolution in Tanners Lane Used Hardcover $8.95
  5. 100 Great Garden Plants Used Hardcover $1.00

Related Subjects

Computers and Internet » Networking » General
History and Social Science » Politics » General

Design and Validation of Computer Protocols (Prentice Hall Software Series) New Trade Paper
0 stars - 0 reviews
$117.75 Backorder
Product details 512 pages Prentice Hall - English 9780135399255 Reviews:
"Synopsis" by , Offering a systematic approach for designing protocol systems with the power to govern the interactions of concurrent processes in distributed systems, this text seeks to familiarize readers with issues of protocol design including general and specific techniques for process co-ordination.
"Synopsis" by , This text is intended as a comprehensive guide to the design and analysis of computer communications protocols. It introduces a sound discipline for the design of complete and consistent protocol systems, independent of where they are used.

spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.