Mathematical methods of specification and synthesis of software systems '85 : proceedings of the International spring school ; Wendisch-Rietz, GDR, 22. - 26. 4. 1985 /
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Körperschaft: | |
| Format: | Tagungsbericht Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin :
Akademie,
1986
|
| Online-Zugang: |
|
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20241127093252.0 | ||
| 008 | 880101s1986 gw f 1|||||eng d | ||
| 035 | |a CVTIDW0912877 | ||
| 040 | |b slo |a CVTI SR |c CVT |d CVT | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 080 | |a 51:681.3.06 |2 UDC-MRF | ||
| 100 | 1 | |a Bergstra, J. A., |d 1951- |4 aut | |
| 245 | 1 | 0 | |a Mathematical methods of specification and synthesis of software systems '85 : |b proceedings of the International spring school ; Wendisch-Rietz, GDR, 22. - 26. 4. 1985 / |c authors: J. A. Bergstra and Co. |
| 260 | |a Berlin : |b Akademie, |c 1986 | ||
| 300 | |a 245 s., príl. | ||
| 711 | 2 | T | |a Mathematical methods of specification and synthesis of software systems '85 |d (22. - 26. 4. 1985 : |c Wendisch-Rietz, GDR) |
| 910 | |b A464613 | ||
| 992 | |a AMG |a AZN | ||
| 999 | |c 71410 |d 71410 | ||
| 974 | |b Katarína Repatá | ||