IR
EN-33524
انگلیسی
IR
Time for Verification: Essays in Memory of Amir Pnueli
[Book]
/ Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Verlag Berlin Heidelberg-Springer
, 2010.
Electronic
ENGINEERING (uncategorised)&COMPUTER SCIENCE
E-BOOK
Howard Barringer
ایران
Time for Verification: Essays in Memory of Amir Pnueli
عادی
محرمانه
1636113.pdf
متن
old catalog
e
BL
1
a
Y
