Design and validation of computer protoc
β Gerard J Holzmann; American Telephone and Telegraph Company
π Library
π
1991
π Prentice Hall
π English
β¦ LIBER β¦
π
Design And Validation Of Computer Protocols
β Scribed by Gerard J. Holzmann
- Publisher
- Prentice Hall
- Year
- 1990
- Tongue
- English
- Leaves
- 558
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
preface......Page 12
contents......Page 2
ch1......Page 15
ch2......Page 33
ch3......Page 57
ch4......Page 80
ch5......Page 104
ch6......Page 125
ch7......Page 142
ch8......Page 176
ch9......Page 201
ch10......Page 217
ch11......Page 228
ch12......Page 257
ch13......Page 311
ch14......Page 332
conclusion......Page 365
references......Page 366
appA......Page 381
appB......Page 394
appC......Page 397
appD......Page 407
appE......Page 450
appF......Page 542
name_index......Page 551
subject_index......Page 553
π SIMILAR VOLUMES
Design and validation of computer protoc
β Gerard J Holzmann; American Telephone and Telegraph Company
π Library
π
1990
π Prentice Hall
π English
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. This volume discusses the fundamental problems of designi
Design and Validation of Computer Protoc
β Gerard Holzmann
π Library
π
1990
π English
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. This volume discusses the fundamental problems of designi
Drug Target Selection and Validation (Co
β Marcus T. Scotti (editor), Carolina L. Bellera (editor)
π Library
π
2022
π Springer
π English
<span>The first book in the newly created book series, </span><span>Computer-Aided Drug Discovery and Design</span><span>, focuses on the computational aspects of early drug discovery, drug target identification, and validation. It revises current classical paradigms in target and phenotypic-based d
CSFM book - Compatible Stress Field Desi
β Walter Kaufmann, Jaime Mata-FalcΓ³n, Marius Weber, Tena Galkovski
π Library
π
2020
π IDEA StatiCa
π English
Design and Analysis of Security Protocol
β Dinesh Goyal; S. Balamurugan; Sheng-Lung Peng; O. P. Verma
π Library
π
2020
π Wiley-Scrivener
π English