عنوان
پدید آورنده
موضوع
رده
QA,76.76,.V47,P745,2007
QA
,
76
.
76
,.
V47
,
P745
,
2007
کتابخانه
محل استقرار
alk. paper)
9783540713159 (soft cover
IR
ebook48396
انگلیسی
IR
Program analysis and compilation, theory and practice
[Electronic Resource]
:essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday
/ Thomas Reps, Mooly Sagiv, J?�rg Bauer (eds.)
Berlin ;New York
: Springer,
, c2007.
x, 360 p.
: ill. ; 24 cm.
(Lecture notes in computer science,0302-9743
; 4444.Festschrift)
e
Includes bibliographical references and index.
Lecture notes in computer science
Lecture notes in computer science.Festschrift
4444
Wilhelm, R.--(Reinhard),--1946
Computer programs--Verification--Congresses
Compilers (Computer programs)--Congresses
Computer programming--Congresses
005
.
1
,
4
QA
,
76
.
76
,.
V47
,
P745
,
2007
Reps, Thomas W
Sagiv, Mooly
Bauer, J?�rg
Wilhelm, R� 1946
ایران
005.1,4
9783540713159.pdf
0
0
0
old catalog
e
BL
1
a
Y
