|
|
|
|
| LEADER |
00800nam a2200205 a 4500 |
| 001 |
1248823 |
| 005 |
20171111232652.0 |
| 008 |
080421s1977 gr erb 001 0 ger d |
| 020 |
|
|
|a 348621361X
|
| 040 |
|
|
|a GrAtEKP.pliroforiki
|b gre
|e AACR2
|
| 082 |
|
0 |
|2 22
|a 005.3
|
| 100 |
1 |
|
|a Endres, Albert
|
| 245 |
1 |
0 |
|a Analyse und Verifikation von Programmen :
|b systematische Verfahren und Untersuchungen zur Erstellung fehlerfreier Software /
|c von Albert Endres
|
| 260 |
|
|
|a Munchen
|b R. Oldenbourg,
|c 1977
|a Wien :
|
| 300 |
|
|
|a 405 p. :
|b tabs ;
|c 24 cm.
|
| 490 |
0 |
|
|a Reihe Datenverarbeitung
|
| 504 |
|
|
|a Includes bibliographical references and index
|
| 650 |
|
0 |
|a Computer software
|x Evaluation
|
| 650 |
|
0 |
|a Computer software
|x Testing
|
| 952 |
|
|
|a GrAtEKP
|b 59cd06d06c5ad134460db629
|c 998a
|d 945l
|e 005.3 EndA a 1977
|t 1
|x m
|z Books
|
