Formal Description Techniques, VI : Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93 /
Guardat en:
| Autor corporatiu: | |
|---|---|
| Altres autors: | , , |
| Format: | Actes de congresos Llibre |
| Idioma: | anglès |
| Publicat: |
Amsterdam, Holanda :
North-Holland : Elsevier,
1994, c1994
|
| Matèries: | |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Ítems similars: Formal Description Techniques, VI :
- Using Formal Description Techniques : An Introduction to ESTELLE, LOTOS and SDL /
- The Formal Description Technique Lotos : Results of the ESPRIT/SEDOS Project /
- Creating Components : Object Oriented, Concurrent, and Distributed Computing in Java /
- Java P2P Unleashed /
- Programming in the .NET Environment /
- Advanced .NET Programming /