Design And Validation Of Computer Protocols - Gerard J. Holzmann - Books - Pearson Education (US) - 9780135399255 - October 11, 1990
In case cover and title do not match, the title is correct

Gerard J. Holzmann
Design And Validation Of Computer Protocols 1st edition

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Differing from other data communications books, this one emphasizes the logic behind the design process. It discusses design principles in order to provide guidelines for the design of protocols that are logically consistent. For courses in data communications, operating systems, or protocol design.

512 pages

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 11, 1990
ISBN13 9780135399255
Publishers Pearson Education (US)
Pages 512
Dimensions 171 × 240 × 31 mm   ·   793 g
Language English  

More by Gerard J. Holzmann

Show all

Mere med samme udgiver

See all of Gerard J. Holzmann ( e.g. Paperback Book )