Using formal description techniques : an introduction to Estelle, LOTOS, and SDL / Edited by Kenneth J Turner

Contributor(s): Turner, Kenneth JMaterial type: TextTextSeries: 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.6
Contents:
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-----------------------------
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books Books Namal Library
Computer Science
004.6 TUR-U 1993 2968 (Browse shelf (Opens below)) Available 0002968
Total holds: 0

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.

to post a comment.