• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
  • ورود / ثبت نام

عنوان
Models, algebras and logic of engineering software

پدید آورنده
edited by Manfred Broy and Markus Pizka

موضوع
Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design

رده
TA
345
.
N28
2002

کتابخانه
کتابخانه پژوهشگاه دانشهای بنیادی

محل استقرار
استان: تهران ـ شهر: تهران

کتابخانه پژوهشگاه دانشهای بنیادی

تماس با کتابخانه : 22291812-021

عنوان و نام پديدآور

عنوان اصلي
Models, algebras and logic of engineering software

وضعیت ویراست

نام نخستين ويراستار
2002 : Marktoberdorf, Germany

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Amsterdam
نام ناشر، پخش کننده و غيره
IOS Press
تاریخ نشرو بخش و غیره
c2003

مشخصات ظاهری

نام خاص و کميت اثر
xi, 403 p.: ill

فروست

ساير اطلاعات عنواني
NATO science series. Series III : Computer and systems sciences; v.191

يادداشت کلی

متن يادداشت
"Published in cooperation with NATO Scientific Affairs Division"
متن يادداشت
"Proceedings of the NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software, Marktoberdorf, Germany, 30 July - 11 August 2002"
متن يادداشت
Includes bibliographies
متن يادداشت
ISBN: 1586033425

یادداشتهای مربوط به عنوان و پدیدآور

متن يادداشت
edited by Manfred Broy and Markus Pizka

یادداشت های مربوط به نسخه اصلی

متن يادداشت
1

موضوع (اسم عام یاعبارت اسمی عام)

عنصر شناسه ای
Computer programs ، Engineering
عنصر شناسه ای
Data processing ، Engineering
عنصر شناسه ای
، Software engineering
عنصر شناسه ای
، Computer software -- Development
عنصر شناسه ای
، System design

رده بندی کنگره

شماره رده
TA
345
.
N28
2002

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

کد نقش
AU

نام / عنوان به منزله شناسه افزوده

عنصر شناسه اي
AU Broy, Manfred, 1949-
عنصر شناسه اي
AU Pizka, Markus
عنصر شناسه اي
CO North Atlantic Treaty Organization. Scientific Affairs Division
عنصر شناسه اي
TI
عنصر شناسه اي
SE

نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )

عنصر شناسه اي
NATO Advanced Study Institute on Models, Algebras and Logic of Engineering Software

پیشنهاد / گزارش اشکال

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