عنوان
پدید آورنده
موضوع
رده
QA,76.6,.I5535,2000
QA
,
76
.
6
,.
I5535
,
2000
کتابخانه
محل استقرار
alk. paper)
3540677275 (softcover
IR
ebook29331
انگلیسی
IR
Mathematics of program construction
[Electronic Resource]
:5th international conference, MPC 2000, Ponte de Lima, Portugal, July 2000 : proceedings
/ Roland Backhouse, Josae Nuno Oliveira (eds.)
New York
: Springer,
, 2000.
vii, 255 p.
: ; 24 cm.
(Lecture notes in computer science
; 1837)
e
Includes bibliographical references and index.
Computer programming--Congresses
Computer science--Mathematics--Congresses
004
.
2
,
1
,
0151
QA
,
76
.
6
,.
I5535
,
2000
Backhouse, Roland C.� 1948
Oliveira, Josae N
MPC 2000(2000 :Ponte do Lima, Portugal)
ایران
004.2,1,0151
3540677275.pdf
0
old catalog
e
BL
1
a
Y
