|
|
|
|
| LEADER |
00000nam a2200000 a 4500 |
| 001 |
505501 |
| 003 |
ICU |
| 005 |
19950901000000.0 |
| 008 |
821008s1982 njua b 00110 eng u |
| 010 |
|
|
|a 81012133
|
| 020 |
|
|
|a 0138220727
|
| 035 |
|
|
|a (ICU)BID6799742
|
| 035 |
|
|
|a (OCoLC)7731846
|
| 039 |
0 |
|
|a 2
|b 3
|c 3
|d 3
|e 3
|
| 040 |
|
|
|a DLC
|c DLC
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
|
|a QA76.6
|b .D48
|
| 082 |
0 |
|
|a 001.64/24/0287
|2 19
|
| 100 |
1 |
|
|a Deutsch, Michael S.
|0 http://id.loc.gov/authorities/names/n81088113
|1 http://viaf.org/viaf/94444346
|
| 245 |
1 |
0 |
|a Software verification and validation :
|b realistic project approaches /
|c Michael S. Deutsch.
|
| 260 |
0 |
|
|a Englewood Cliffs, NJ :
|b Prentice-Hall,
|c c1982.
|
| 300 |
|
|
|a xvi, 327 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Prentice-Hall series in software engineering
|
| 500 |
|
|
|a Includes index.
|
| 504 |
|
|
|a Bibliography: p. 315-316.
|
| 650 |
|
0 |
|a Computer programs
|x Verification
|0 http://id.loc.gov/authorities/subjects/sh85029528
|
| 650 |
|
0 |
|a Computer programs
|x Validation
|0 http://id.loc.gov/authorities/subjects/sh85029527
|
| 650 |
|
7 |
|a Computer software
|x Validation.
|2 fast
|0 http://id.worldcat.org/fast/fst00872602
|
| 650 |
|
7 |
|a Computer software
|x Verification.
|2 fast
|0 http://id.worldcat.org/fast/fst00872604
|
| 903 |
|
|
|a HeVa
|
| 903 |
|
|
|a Hathi
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 63f8285c-b329-5eee-8be0-dcc2a1e2e850
|s b3a8025e-32d9-53af-9b00-351bc78ff273
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.6.D480
|l ASR
|c ASR-SciASR
|i 5704824
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.6.D480
|l ASR
|c ASR-SciASR
|e CRERAR
|b 21136972
|i 1416917
|
