Proving programs correct /
Uložené v:
| Hlavný autor: | |
|---|---|
| Médium: | Kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
New York :
John Wiley,
1979
|
| Predmet: | |
| ISBN: | 0471033952 |
| On-line prístup: |
|
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
MARC
| LEADER | 00000pam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 2263680 | ||
| 005 | 20251111132818.0 | ||
| 008 | 780501s1979 xxua f pf 001 0 eng | ||
| 020 | |a 0471033952 |q (brož.) | ||
| 035 | |a 2263680 | ||
| 040 | |a DLC |c DLC |d CVT |b slo |e AACR2 | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 072 | 7 | |2 CVT |a 004.4/.6 | |
| 080 | 1 | |a 004.4 |2 2011 | |
| 100 | 1 | |a Anderson, Robert Brockett, |d 1941- |4 aut | |
| 245 | 1 | 0 | |a Proving programs correct / |c Robert B. Anderson |
| 260 | |a New York : |b John Wiley, |c 1979 | ||
| 300 | |a viii, 184 s. : |b ilust. ; |c 23 cm | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a unmediated |b n |2 rdamedia | ||
| 338 | |a volume |b nc |2 rdacarrier | ||
| 500 | |a Obsahuje register | ||
| 504 | |a Bibliografia na s. 170-182 | ||
| 650 | 0 | |a Computer programs |x Testing. | |
| 650 | 0 | |a Debugging in computer science. | |
| 653 | |a programovanie | ||
| 910 | |b A382722 | ||
| 919 | |a 0-471-03395-2 | ||
| 959 | |a 18 | ||
| 974 | |a Katarína Repatá |b Rita Zubonyaiová | ||
| 992 | |a AMG |a AUV |a APP | ||
| 999 | |c 304087 |d 304087 | ||