عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook6031
eng
Runtime verification
Berlin ;New York :
: Springer,
, 2009.
Print
oriented programming ; Congresses. ; Computersicherheit. ; swd. ; Datensicherung. ; swd. ; Echtzeitsystem-Computer software ; Verification ; Congresses. ; Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ; Aspect
; -Bensalem, Saddek. ; Peled, Doron A., ; 1962
old catalog
