cam a22 u 4500 128580119 CHVBK 20200921121459.0 880212s1980 ne | 00 |eng|d Vornamensinitialen im Dokument nicht aufgelöst 90-6196-207-2 (OCoLC)636326151 (NEBIS)000232438 ETH-BIB ger ETH-BIB ETHICS-ISBD Correctness preserving program refinements proof theory and applications R.J.R.Back Amsterdam Mathematisch Centrum 1980 118 p. Mathematical Centre tracts 131 131 (NEBIS)000027881 319583716 PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger (ETHUDK)000012508 ethudk TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ger (ETHUDK)000013747 ethudk u PRÄDIKATENLOGIK (MATHEMATISCHE LOGIK) ger 510.635 nebis E1 u TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ger 004*04*04*06 nebis E1 u PREDICATE LOGIC (MATHEMATICAL LOGIC) eng 510.635 nebis E1 u LOGIQUE DES PRÉDICATS (LOGIQUE MATHÉMATIQUE) fre 510.635 nebis E1 u TESTING + DEBUGGING (SOFTWARE ENGINEERING) eng 004*04*04*06 nebis E1 u TESTS ET MISE AU POINT DE PROGRAMMES fre 004*04*04*06 nebis E1 Back R.J.R. BK020000 XK020000 XK020000 NEBIS E01 E01 MG P 712651: 131 NEBIS 490 -- Mathematical Centre tracts 131 131 (NEBIS)000027881 319583716 NEBIS 700 1- Back R.J.R.