عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook13717
eng
Program analysis and compilation, theory and practice
Berlin ;New York :
: Springer,
, 2007.
Print
; Computer programs ; Verification ; Congresses. ; Compilers (Computer programs) ; Congresses. ; Computer programming ; Congresses. ; -Wilhelm, R. ; (Reinhard), ; 1946
; -Reps, Thomas W. ; (Thomas William) ; Sagiv, Mooly. ; Bauer, J?rg. ; Wilhelm, R. ; (Reinhard), ; 1946
old catalog
