عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook37440
eng
Mathematics of program construction :
Berlin ;New York :
: Springer,
, 2000.
Print
Computer programming ; Congresses ; Computer science ; Mathematics ; Congresses ;
; Oliveira, Jos? N ; -Backhouse, Roland C., ; 1948
old catalog
