Formal description techniques and protocol specification, testing and verificationIFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (10th 1997 Osaka, Japan).
Formal description techniques and protocol specification, testing and verification
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 · 1997
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1997
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 576
- ISBN
- 9780412820601
Data source: Wikidata