عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
إختر اللغة
فارسی
English
العربی
عنوان
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
پدید آورنده
Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
موضوع
Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
رده
QA
76
.
L28
Vol
.
2805
کتابخانه
محل استقرار
استان:
طهران
ـ شهر:
طهران
تماس با کتابخانه :
22291812
-
021
FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
12th : 2003 : Pisa, Italy
Berlin
Springer-Verlag
c2003
xvii, 942 p.: ill., tables
Lecture notes in computer science; 5082
Includes bibliographies
ISBN: 3540408282
Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
1
Congresses ، Computer software -- Development
Congresses ، Formal methods )Computer science(
Mathematics -- Congresses ، System design
QA
76
.
L28
Vol
.
2805
AU
AU Araki, Keijiro, 1954-
AU Gnesi, Stefania, 1954-
AU Mandrioli, Dino, 1949-
TI
SE
International Symposium of Formal Methods Europe
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح