Formal description techniques and protocol specification, testing and verification - Info and Reading Options
FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan
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" was published by Chapman & Hall in 1997 - London, it has 550 pages and the language of the book is English.
“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
- Language: English
- Number of Pages: 550
- Publisher: Chapman & Hall
- Publish Date: 1997
- Publish Location: London
“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:
- Pagination: vii, 550 p. :
Edition Identifiers:
- The Open Library ID: OL21256442M - OL13340185W
- ISBN-13: 9780412820601
- ISBN-10: 0412820609
- All ISBNs: 0412820609 - 9780412820601
AI-generated Review of “Formal description techniques and protocol specification, testing and verification”:
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.