ورود به حساب کاربری

خرید کتاب Foundations of Software Science and Computational Structures

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Foundations of Software Science and Computational Structures
10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007. The 25 revised full papers presented together with the abstract of one invited talk cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2007

نویسنده

Helmut Seidl

ناشر

Springer

شابک

9783540713883
20,000 تومان
خرید کتاب مطالعه نمونه درخواست ترجمه کتاب

کتاب های مرتبط

Evaluation and usability of programming languages and tools : Reno, NV, USA, October 17-21, 2010.

Evaluation and usability of programming languages and tools : Reno, NV, USA, October 17-21, 2010.

بدون نویسنده
20
هزار تومان
OOPSLA 10 Proceedings of 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications

OOPSLA 10 Proceedings of 2010 ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications

Oopsla 10 C...
20
هزار تومان
Systems, software and services process improvement 22nd european.

Systems, software and services process improvement 22nd european.

بدون نویسنده
20
هزار تومان
Requirements Engineering

Requirements Engineering

Anna Perini
20
هزار تومان
Proof Technology and Computation, Volume 200 NATO Science Series

Proof Technology and Computation, Volume 200 NATO Science Series

H. Schwicht...
20
هزار تومان
Tools and algorithms for the construction and analysis of systems 22nd International Conference, TACAS 2016 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Tools and algorithms for the construction and analysis of systems 22nd International Conference, TACAS 2016 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

بدون نویسنده
20
هزار تومان
9783319073163

9783319073163

بدون نویسنده
20
هزار تومان
Foundational and Practical Aspects of Resource Analysis

Foundational and Practical Aspects of Resource Analysis

Ricardo Pena
20
هزار تومان
Entwicklungsmethoden für Informationssysteme und deren Anwendung : EMISA '99, Fachtagung der Gesellschaft für Informatik e.V. (GI), September 1999 in Fischbachau

Entwicklungsmethoden für Informationssysteme und deren Anwendung : EMISA '99, Fachtagung der Gesellschaft für Informatik e.V. (GI), September 1999 in Fischbachau

بدون نویسنده
20
هزار تومان
Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Braga, Portugal, March 24-April 1, 2007 : Proceedings.

Foundations of Software Science and Computational Structures : 10th International Conference, FOSSACS 2007, Braga, Portugal, March 24-April 1, 2007 : Proceedings.

David Hutch...
20
هزار تومان
Making globally distributed software development a success story proceedings

Making globally distributed software development a success story proceedings

Qing Wang
20
هزار تومان
Model driven engineering languages and systems : 11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings

Model driven engineering languages and systems : 11th international conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008 : proceedings

بدون نویسنده
20
هزار تومان
Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008.

Software Engineering Approaches for Offshore and Outsourced Development : Second International Conference, SEAFOOD 2008.

Kay Berklin...
20
هزار تومان
Advances in software engineering : International Conference on Advanced Software Engineering and its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings

Advances in software engineering : International Conference on Advanced Software Engineering and its Applications, ASEA 2009, held as part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009 : proceedings

Dominik Ś...
20
هزار تومان
Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Models in Software Engineering : Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

Sudipto Gho...
20
هزار تومان
Software engineering research, management and applications 2011

Software engineering research, management and applications 2011

بدون نویسنده
20
هزار تومان
Middleware 2011

Middleware 2011

Fabio Kon
20
هزار تومان
Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

Ruth Breu
20
هزار تومان
Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Ugo Montanari
20
هزار تومان
Systems, software and services process improvement : 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

Systems, software and services process improvement : 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

بدون نویسنده
20
هزار تومان
Open source development, adoption and innovation : IFIP Working Group 2.13 on Open Source Software, OSS 2007, Limerick, Ireland, 06.11-14, 2007

Open source development, adoption and innovation : IFIP Working Group 2.13 on Open Source Software, OSS 2007, Limerick, Ireland, 06.11-14, 2007

Joseph Fell...
20
هزار تومان
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

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

دیدگاه خود را بنویسید
|
افزایش درآمد افزایش درآمد بهترین های کودک و نوجوان بهترین های کودک و نوجوان میخوای آموزش ببینی میخوای آموزش ببینی
قوانین و مقررات

بوکم با هدف خدمات محتوایی به پژوهشگران، اساتید و دانشجویان راه اندازی شده است. ما را در ارائه خدمات بهتر یاری داده و به گسترش بوکم کمک نمایید.

قوانین استفاده از بوکم:
1- کاربران موظف به استفاده ضحیح از محتوای رایگان و یا قابل خریداری سایت هستند و این استفاده باید در دایره ی قوانین حاکم در جمهوری اسلامی ایران باشد.
2- بوکم در دایره ی قوانین جمهوری اسلامی ایران فعالیت دارد و از قوانین مالکیت فکری و کپی رایت طبق قواعد جمهوری اسلامی ایران فعالیت میکند. چنانچه در این مورد سهوا اشتباهی انجام شده لطفا اطلاع بدهید تا سریعا پیگیری شود.
3- به خاطر تغییراتی که در فروشگاه های مرجعی که بوکم از آنها کتاب تهیه میکند پیش می آید، ممکن است کتاب خریداری شده ی کاربر قابل تهیه کردن نباشد که در این صورت بوکم مبلغ پرداختی کاربر را به حساب او عودت داده و یا کیف پول او نزد بوکم را شارژ می نماید.
4- بیشتر از کتابهای درخواستی به صورت آنی در اختیار خریدار قرار میگیرد. مواردی که آنی قابل ارسال نیست حداکثر در سه ساعت در زمان کاری تهیه شده و به کاربر اطلاع داده شده و لینک دانلود برای او ارسال میشود.
5- کاربران موظف به حفظ محتوای خریداری شده توسط خودشان هستند و بوکم تعهد نگهداری یک ماه از کتاب خریداری شده توسط کاربر را دارد.
6- کاربرانی که در تامین محتوا و همکاری در فروش با بوکم همکاری دارند بایست طبق قوانین جمهوری اسلامی ایران اقدام به فروش در پلتفرم بوکم نمایند و پاسخگوی مراجع ذی صلاح درباره محتوای فروشی خود در بستر بوکم را به عهده دارند.
7- فایل فروخته شده با ارائه دلیل منطقی(مثل کیفیت نامناسب کتاب برای خوانش) تا 24 ساعت از سوی کاربر قابل عودت می باشد.

پذیرفتن