Formal Description Techniques and Protocol Specification, Testing and Verification - Info and Reading Options
Forte X / Pstv Xvii '97
By IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan)., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori and Teruo Higashino
"Formal Description Techniques and Protocol Specification, Testing and Verification" is published by Springer in Jan 11, 2013 - Boston, MA and it has 561 pages.
“Formal Description Techniques and Protocol Specification, Testing and Verification” Metadata:
- Title: ➤ Formal Description Techniques and Protocol Specification, Testing and Verification
- Authors: ➤ IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).Atsushi TogashiTadanori MizunoNorio ShiratoriTeruo Higashino
- Number of Pages: 561
- Publisher: Springer
- Publish Date: Jan 11, 2013
- Publish Location: Boston, MA
“Formal Description Techniques and Protocol Specification, Testing and Verification” Subjects and Themes:
- Subjects: ➤ Congresses - Computer network protocols - Formal languages - Electronic data processing - Distributed processing - Computer science - Computer networks
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL27977286M - OL13340185W
- ISBN-13: 9781475752601 - 9780387352718
- ISBN-10: 1475752601
- All ISBNs: 1475752601 - 9781475752601 - 9780387352718
AI-generated Review of “Formal Description Techniques and Protocol Specification, Testing and Verification”:
"Formal Description Techniques and Protocol Specification, Testing and Verification" Description:
Open Data:
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
Read “Formal Description Techniques and Protocol Specification, Testing and Verification”:
Read “Formal Description Techniques and Protocol Specification, Testing and Verification” by choosing from the options below.
Search for “Formal Description Techniques and Protocol Specification, Testing and Verification” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal Description Techniques and Protocol Specification, Testing and Verification” in Libraries Near You:
Read or borrow “Formal Description Techniques and Protocol Specification, Testing and Verification” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal Description Techniques and Protocol Specification, Testing and Verification” at a library near you.
Buy “Formal Description Techniques and Protocol Specification, Testing and Verification” online:
Shop for “Formal Description Techniques and Protocol Specification, Testing and Verification” on popular online marketplaces.
- Ebay: New and used books.