عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M2 2000
QA
76
.
6
.
M2
2000
کتابخانه
محل استقرار
02BL0000000006696
انگلیسی
Mathematics of program construction
Ronald Back house Jose Nuno oliveria
Berlin
Springer-Verlag
2000
255P.
, 6696 , 2-1
Bibliography
Electronic digital computers-programming-congresses
computer science-mathematics-congresses
QA
76
.
6
.
M2
2000
Mathematics of program construction
AU
Baxk House,Ronald editor
