Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Infor...
MIA KARTS BOOKS
- Vendor: Mia Karts
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
Book Details
- Author
- R. Gotzhein
- Publisher
- Springer
- Format
- Hardcover
- Language
- English
- Category
- Management Information Systems
- Condition
- New
- ISBN-13
- 9780412794902
- ISBN-10
- 041279490X
Free U.S. shipping on all orders. International shipping is calculated at checkout.
ISBN: 041279490X
Author: Gotzhein, R.
Condition: New
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.
Have a question?
Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)
