Formal Description Techniques and Protocol Specification, Testing and Verification
- Atsushi Togashi
- Tadanori Mizuno
- Norio Shiratori
- Teruo Higashino
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹13,796Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books ₹167.2Audible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Formal Description Techniques and Protocol Specification, Testing and Verification is written by Atsushi Togashi and published by Springer. It's available with International Standard Book Number or ISBN identification 0387352716 (ISBN 10) and 9780387352718 (ISBN 13).
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.
