عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
Correct System Design
پدید آورنده
\ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
موضوع
Formal methods (Computer science) -- Congresses.,Logics and Meanings of Programs.,روشهای صوری (کامپیوتر) -- کنگره ها
رده
QA
76
.
9
.
F67C6
2015
E-Book
,
کتابخانه
کتابخانه زبانهای خارجی و منابع اسلامی
محل استقرار
استان:
قم
ـ شهر:
قم
تماس با کتابخانه :
37839111
:9783319235059
13635
انگلیسی
Correct System Design
[electronic resources]
: Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday Oldenburg, Germany, September 8–9, 2015 Proceedings
\ Roland Meyer ,André Platzer, Heike Wehrheim (Eds.)
Cham
: Springer
, 2015
viii, [278] p
:ill
Lecture Notes in Computer Science
; 9360
Index
Bibliography
Formal methods (Computer science) -- Congresses.
Logics and Meanings of Programs.
روشهای صوری (کامپیوتر) -- کنگره ها
QA
76
.
9
.
F67C6
2015
E-Book
,
Meyer, Roland
Platzer, André
Wehrheim, Heike
ایران
20170209
9783319235059.pdf
p
BL
279177
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح