The Formal Description Technique Lotos : results of the ESPRIT/SEDOS Projekt /
Uloženo v:
| Další autoři: | , , |
|---|---|
| Typ dokumentu: | Kniha |
| Jazyk: | Angličtina |
| Vydáno: |
Amsterdam :
North-Holland Publishing Company,
1989.
|
| Témata: |
| Fyzický popis: | 451 s., obr. |
|---|---|
| Bibliografie: | Bibliogr. na konci kap. |
| ISBN: | 0-444-87267-1 |