cam a22 u 4500 128726393 CHVBK 20200921121807.0 880212s1982 xxk | 00 |eng|d 0-521-24215-0 0-521-28531-3 (OCoLC)251845275 (NEBIS)000260986 ETH-BIB ger ETH-BIB ETHICS-ISBD Program verification using Ada Andrew D.McGettrick Cambridge a.o. Cambridge University Press 1982 XII, 345 p. fig.; tab. Cambridge computer science texts 13 13 (NEBIS)000016218 126573948 ADA (PROGRAMMIERSPRACHEN) ger (ETHUDK)000013709 ethudk VERIFIKATION (SOFTWARE ENGINEERING) ger (ETHUDK)000013750 ethudk u VERIFIKATION (SOFTWARE ENGINEERING) ger 004*04*04*05 nebis E1 u ADA (PROGRAMMIERSPRACHEN) ger 004*04*05*01*ADA nebis E1 u VÉRIFICATION (GÉNIE LOGICIEL) fre 004*04*04*05 nebis E1 u VERIFICATION (SOFTWARE ENGINEERING) eng 004*04*04*05 nebis E1 u ADA (LANGAGE DE PROGRAMMATION) fre 004*04*05*01*ADA nebis E1 u ADA (PROGRAMMING LANGUAGES) eng 004*04*05*01*ADA nebis E1 McGettrick Andrew D. BK020000 XK020000 XK020000 NEBIS E72 E72 E72BI IE.82.13 NEBIS E01 E01 MG P 713566: 13 NEBIS 490 -- Cambridge computer science texts 13 13 (NEBIS)000016218 126573948 NEBIS 700 1- McGettrick Andrew D.