![Formal Description Techniques VII [electronic resource] : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques /](/search/themes/bootstrap3/images/libros.png)
Formal Description Techniques VII [electronic resource] : Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques /
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Boston, MA : Springer US : Imprint: Springer,
1995
|
| Subjects: | Engineering., Computer communication systems., Signal, Image and Speech Processing., Computer Communication Networks., |
| Online Access: | http://dx.doi.org/10.1007/978-0-387-34878-0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|