Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
Guardat en:
| Autor principal: | |
|---|---|
| Altres autors: | |
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Chichester, Inglaterra :
Wiley,
1993, c1993
|
| Col·lecció: | (Wiley Series in Communication and Distributed Systems)
|
| Matèries: | |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: 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 /