An edition of Formal description techniques and protocol specification, testing and verification
(1997)
Formal Description Techniques and Protocol Specification, Testing and Verification
Forte X / Pstv XVII '97
by IFIP TC 6/WG 6.1 International Conferenc..., Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, and Teruo Higashino
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv Xvii '97
Jan 11, 2013, Springer
paperback
1475752601 9781475752601
|
zzzz
|
2
Formal Description Techniques and Protocol Specification, Testing and Verification: Forte X / Pstv XVII '97
2013, Springer
in English
0387352716 9780387352718
|
aaaa
|
3
Formal description techniques and protocol specification, testing and verification: 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
1997, Chapman & Hall, Springer
in English
- 1st ed.
0412820609 9780412820601
|
zzzz
|
4
Formal Description Techniques and Protocol Specification,
October 31, 1997, Springer
in English
0412820609 9780412820601
|
zzzz
|
Book Details
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
History
- Created March 1, 2022
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| March 1, 2022 | Created by ImportBot | Imported from Better World Books record |