Formal Methods for Protocol Engineering and Distributed Systems INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28
Formal Methods for Protocol Engineering and Distributed Systems INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28 Login for the JSON version of this page.
- Title
- Formal Methods for Protocol Engineering and Distributed Systems INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28
- ISBN-10
- 0-7923-8646-9
- ISBN-13
- 978-0-7923-8646-9
- Author(s)
- 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
- Publisher
- Kluwer Academic, Springer
- Published
- 1999
- Format
- Hardcover
- Subtitle
- Login for full book details.
- Series
- Login to see series details.
- Imprint
- Login for imprint details.
- Pages
- 666
- Language
- Login for language details.
- Subjects
- Login for subjects details.
- Genre
- Login for genre details.
Description
Login for description.
Metadata
- EAN
- 9780792386469
- ASIN
- 0792386469
- Prefix
- 978
- Group
- 0
- Group Name
- English language
- Group Identifier
- 978-0
- Registrant
- 7923
- Publication
- 8646
- Check Digit
- 9
- Formatted
- 978-0-7923-8646-9