کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

Formal methods for components and objects : third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures

پدیدآورنده: Frank S. de Boer... ]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Formal methods )Computer science(,Congresses ، Component software,Congresses ، Object-oriented programming )Computer science(

رده :

QA

76

.

L28

Vol

.

3657

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است