Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / Edited by Kenneth J Turner
Material type: TextSeries: Wiley series in communication and distributed systemsPublication details: England : John Wiley & Sons , 1993cDescription: v, 431 p. : ill. ; 23 cmISBN: 0471934550 (hbk)Subject(s): Computer programming | Formal languages | Computers -- Networks -- ProtocolsDDC classification: 004.6Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Books | Namal Library Computer Science | 004.6 TUR-U 1993 2968 (Browse shelf (Opens below)) | Available | 0002968 |
Browsing Namal Library shelves, Shelving location: Computer Science Close shelf browser (Hides shelf browser)
004.6 THO-N 2012 710 Network security first-step / | 004.6 TOM-G 2007 1578 Guide to networking essentials / | 004.6 TOM-I 2011 755 Introduction to data communications and networking / | 004.6 TUR-U 1993 2968 Using formal description techniques : | 004.6 WHI-D 2004 1568 Data communications & computer networks : | 004.6 WHI-D 2009 2915 Data communications and networking / | 004.6 WHI-D 2009 727 Data communications and networking / |
index included
Chapter 1: Introducing the FDTs---------------------------------
Chapter 2: Introduction to Estelle-------------------------------
Chapter 3: Introduction to LOTOS-----------------------------
Chapter 4: Introduction to SDL---------------------------------
Chapter 5: Daemon Game--------------------------------
Chapter 6: Unreliable Medium-----------------------------
Chapter 7: Sliding Window Protocol--------------------------
Chapter 8: Abracadabra Protocol-----------------------------
Chapter 9: Development with ESTELLE---------------------------
Chapter 10: Development with LOTOS-----------------------------
Chapter 11: Development with SDL-----------------------------
There are no comments on this title.