Methodik der Programmierung und Programmverifikation. Teil 1 : Vorträge von der thematischen Konferenz KNWWT, 1977 /
Uloženo v:
| Hlavní autor: | |
|---|---|
| Korporativní autor: | |
| Médium: | Konferenční příspěvek Kniha |
| Jazyk: | němčina |
| Vydáno: |
Dresden :
Technická univerzita,
1977
|
| Edice: | Sektion Mathematik
Heft 22 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam a2200000 4500 | ||
|---|---|---|---|
| 003 | SK-BrCVT | ||
| 005 | 20220617191630.0 | ||
| 008 | 980101s1977 gw e ||||||ger d | ||
| 035 | |a CVTIDW0942750 | ||
| 040 | |b slo |a CVTI SR | ||
| 041 | 0 | |a ger | |
| 044 | |a gw | ||
| 080 | |a 681.3.06(061.3) |2 UDC-MRF | ||
| 100 | 1 | |a Lehmann, N. J. | |
| 111 | 0 | |a Vorträge von der thematischen Konferenz KNWWT |f 1977 | |
| 242 | 1 | 0 | |a Metodika programovania a overovanie programov |
| 245 | 1 | 0 | |a Methodik der Programmierung und Programmverifikation. Teil 1 : |b Vorträge von der thematischen Konferenz KNWWT, 1977 / |c Autoren: N. J. Lehmann und Kol. |
| 260 | |a Dresden : |b Technická univerzita, |c 1977 | ||
| 300 | |a 229 s. | ||
| 490 | 0 | |a Sektion Mathematik |v Heft 22 | |
| 692 | |a AS MM | ||
| 760 | 1 | |t Sektion Mathematik |g Heft 22 | |
| 910 | |b A357988 | ||
| 974 | |f Knihy | ||
| 992 | |a AZN | ||
| 999 | |c 93054 |d 93054 | ||