Formal Description Techniques IX Theory, application and tools
题名:
Formal Description Techniques IX Theory, application and tools
ISBN:
9780387350790
版:
1st ed. 1996.
PRODUCTION_INFO:
New York, NY : Springer US : Imprint: Springer, 1996.
物理描述:
X, 518 p. online resource.
系列:
IFIP Advances in Information and Communication Technology,
摘要:
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.
附加团体著者:
语言:
英文