This page uses JavaScript and requires a JavaScript enabled browser.Your browser is not JavaScript enabled.
مرکز و کتابخانه مطالعات اسلامی به زبان های اروپایی
منو
درگاههای جستجو
مدارک
جستجوی پیشرفته
مرور
جستجو در سایر کتابخانه ها
مستندات
جستجوی پیشرفته
مرور
منابع دیجیتال
تمام متن
اصطلاحنامه
درختواره
پرسش و پاسخ
سوالات متداول
پرسش از کتابدار
پیگیری پرسش
ورود
ثبت نام
راهنما
خطا
رکورد قبلی
رکورد بعدی
"
Static Analysis :
"
edited by Baudouin Charlier.
Document Type
:
BL
Record Number
:
746376
Doc. No
:
b566325
Main Entry
:
edited by Baudouin Charlier.
Title & Author
:
Static Analysis : : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 Proceedings\ edited by Baudouin Charlier.
Publication Statement
:
Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1994
Series Statement
:
Lecture Notes in Computer Science, 864
ISBN
:
3540490051
:
: 9783540490050
Notes
:
L'accès complet au document est possible pour les usagers de tous les établissements publics français (situés ou non sur le territoire français) ayant des missions d'enseignement supérieur et/ou de recherche, des établissements d'enseignement supérieur privés, des bibliothèques publiques.
Subject
:
Computer science.
Subject
:
Logic design.
Subject
:
Software engineering.
Added Entry
:
Baudouin Charlier
https://lib.clisel.com/site/catalogue/746376
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال
1 - آیا از کیفیت منابع دیجیتال راضی هستید؟
X
کم
متوسط
زیاد
ذخیره
پاک کن