![Formal Description Techniques IX [electronic resource] : Theory, application and tools /](/search/themes/bootstrap3/images/libros.png)
Formal Description Techniques IX [electronic resource] : Theory, application and tools /
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.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Boston, MA : Springer US : Imprint: Springer,
1996
|
| Subjects: | Engineering., Computer communication systems., Signal, Image and Speech Processing., Computer Communication Networks., |
| Online Access: | http://dx.doi.org/10.1007/978-0-387-35079-0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|