عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
پدید آورنده
موضوع
، Electronic digital computers-- Programming-- Congresses
رده
QA
76
.
6
.
L595
1984
کتابخانه
كتابخانه مركزي دانشگاه صنعتي شريف
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
66005817
-
021
77308
آخر۲۷
)20(
Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
Berlin; New York
Springer-Verlag
1984
vi, 527 p. : ill. ; 25cm
Lecture notes in computer science; 461
Proceedings of the Logics of Programs Workshop
Includes bibliographies
، Electronic digital computers-- Programming-- Congresses
QA
76
.
6
.
L595
1984
TI
edited by Edmund Clarke and Dexter Kozen
CO Clarke
AU nezoK 1951-
CO Logics of Programs Workshop )3891 : Carnegie Mellon University(
SE
02
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح