Formal methods for protocol engineering and distributed systems - Info and Reading Options
FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China
By IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)
"Formal methods for protocol engineering and distributed systems" was published by Kluwer Academic in 1999 - Boston, it has 497 pages and the language of the book is English.
“Formal methods for protocol engineering and distributed systems” Metadata:
- Title: ➤ Formal methods for protocol engineering and distributed systems
- Author: ➤ IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China)
- Language: English
- Number of Pages: 497
- Publisher: Kluwer Academic
- Publish Date: 1999
- Publish Location: Boston
“Formal methods for protocol engineering and distributed systems” Subjects and Themes:
- Subjects: ➤ Congresses - Computer network protocols - Electronic data processing - Formal methods (Computer science) - Distributed processing - Méthodes formelles (Informatique) - Traitement réparti - Congrès - Protocoles de réseaux d'ordinateurs - Electronic data processing, distributed processing - Conference papers and proceedings
Edition Specifications:
- Pagination: 497 p. :
Edition Identifiers:
- The Open Library ID: OL20642984M - OL13185000W
- Online Computer Library Center (OCLC) ID: 42009373
- Library of Congress Control Number (LCCN): 99040808
- ISBN-13: 9780792386469
- ISBN-10: 0792386469
- All ISBNs: 0792386469 - 9780792386469
AI-generated Review of “Formal methods for protocol engineering and distributed systems”:
Read “Formal methods for protocol engineering and distributed systems”:
Read “Formal methods for protocol engineering and distributed systems” by choosing from the options below.
Search for “Formal methods for protocol engineering and distributed systems” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Formal methods for protocol engineering and distributed systems” in Libraries Near You:
Read or borrow “Formal methods for protocol engineering and distributed systems” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Formal methods for protocol engineering and distributed systems” at a library near you.
Buy “Formal methods for protocol engineering and distributed systems” online:
Shop for “Formal methods for protocol engineering and distributed systems” on popular online marketplaces.
- Ebay: New and used books.