Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X PSTV XVII '97: IFIP TC6 WG 6.1 International Conference ... in Information and Communication Technology)
Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X PSTV XVII '97: IFIP TC6 WG 6.1 International Conference ... in Information and Communication Technology) Login for the JSON version of this page.
- Title
- Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X PSTV XVII '97: IFIP TC6 WG 6.1 International Conference ... in Information and Communication Technology)
- ISBN-10
- 0-412-82060-9
- ISBN-13
- 978-0-412-82060-1
- Author(s)
- IFIP TC 6 WG 6.1 International Conference On Formal Description Techniques For Distributed Systems And Communications Protocols 10th 1997 Osaka Japan ., Norio Shiratori, Atsushi Togashi, Tadanori Mizuno, Teruo Higashino
- Publisher
- Chapman & Hall, Springer
- Published
- 1997
- Format
- Hardcover
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 409
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9780412820601
- ASIN
- 0412820609
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 412
- Publication
- 82060
- Check Digit
- 1
- Formatted
- 978-0-412-82060-1