Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Book |
| Language: | English |
| Published: |
Chichester, Inglaterra :
Wiley,
1993, c1993
|
| Series: | (Wiley Series in Communication and Distributed Systems)
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Using Formal Description Techniques :
- The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
- Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
- Creating Components : Object Oriented, Concurrent, and Distributed Computing in Java /
- Java P2P Unleashed /
- Programming in the .NET Environment /
- Advanced .NET Programming /