div class=trans-pagebutton class=gotoPage data-page=1Page 1button div class=trans-imageimg data-url=documentkit-application-oriented-formal-verification-homepage-beckertteachinginformatihtmlpage=1 data-page=1 class=trans-thumb lazyload alt=Page 1: KIT - Application-oriented Formal Verification - HomepagebeckertteachingInformatidtv-Lexikon in 20 Bänden Bd 14 1999 Definitionen des Begriffs Programm in informatiknahen loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader036fdocumentsnetreader036viewer2022071423611df346c30ebd7c5c2569b5html5thumbnails1jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=2Page 2button div class=trans-imageimg data-url=documentkit-application-oriented-formal-verification-homepage-beckertteachinginformatihtmlpage=2 data-page=2 class=trans-thumb lazyload alt=Page 2: KIT - Application-oriented Formal Verification - HomepagebeckertteachingInformatidtv-Lexikon in 20 Bänden Bd 14 1999 Definitionen des Begriffs Programm in informatiknahen loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII= data-src=https:reader036fdocumentsnetreader036viewer2022071423611df346c30ebd7c5c2569b5html5thumbnails2jpg width=140 height=200 divdivdiv class=trans-pagebutton class=gotoPage data-page=3Page 3button div class=trans-imageimg data-url=documentkit-application-oriented-formal-verification-homepage-beckertteachinginformatihtmlpage=3 data-page=3 class=trans-thumb lazyload alt=Page 3: KIT - Application-oriented Formal Verification - HomepagebeckertteachingInformatidtv-Lexikon in 20 Bänden Bd 14 1999 Definitionen des Begriffs Programm in informatiknahen loading=lazy src=data:imagegifbase64iVBORw0KGgoAAAANSUhEUgAAAAEAAAABCAQAAAC1HAwCAAAAC0lEQVR42mM8Uw8AAh0BTZud3BwAAAAASUVORK5CYII=...