This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Enrique Dussel and Afro-Caribbean Ethics
"
Henry, Paget
Document Type
:
BL
Record Number
:
690829
Doc. No
:
b513018
Main Entry
:
International Symposium of Formal Methods Europe(12th :2003 :, Pisa, Italy)
Title & Author
:
FME 2003 : : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : [proceedings] /\ Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Publication Statement
:
Berlin ;New York :: Springer-Verlag,, 2003
Series Statement
:
Lecture notes in computer science ;
Page. NO
:
942 p. :: ill. ;; 24 cm
ISBN
:
3540408282 (alk. paper)
Bibliographies/Indexes
:
Includes bibliographical references and author index
Subject
:
Computer software-- Development, Congresses
Subject
:
Formal methods (Computer science), Congresses
Subject
:
System design-- Mathematics, Congresses
Dewey Classification
:
005.1
LC Classification
:
QA76.76.D47I593 2003
Added Entry
:
Araki, Keijirō,1954-
:
Gnesi, Stefania,1954-
:
Mandrioli, Dino
https://lib.clisel.com/site/catalogue/916569
کپی لینک
پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
1771j595_474816.pdf
1771j595.pdf
مقاله لاتین
متن
application/pdf
228.29 KB
85
85
نمایش
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن