Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International spring school ; Wendisch-Rietz, GDR, 22. - 26. 4. 1985 /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin :
Akademie,
1986
|
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Buďte první, kdo okomentuje tento záznam!