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

خرید کتاب Semantics with Applications

اعمال کد تخفیف
مبلغ قابل پرداخت 20,000 تومان
لغو
این بخش در حال توسعه می باشد و به زودی در دسترس شما عزیزان قرار میگیرد
بستن
کاربر محترم لینک های دانلود حداکثر تا ۳ ساعت دیگر به شماره شما پیامک می شود
از صبر و شکیبایی شما ممنونیم
بستن
برای خرید و دانلود فایل باید وارد شوید
ثبت نام / ورود بستن
Semantics with Applications

Semantics with Applications

Semantics with Applications
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 4 (1)

A Formal Introduction

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Semantics with Applications
A Formal Introduction
The purpose of this book is to present the fundamental ideas behind operational, denotional and axiomatic semantics; stress their relationship by formulating and proving relevant theorems; and to illustrate the applicability of formal semantics as a tool in computer science. The bulk of the text concentrates on a small core language of while-programs for which the three approaches are developed to roughly the same level of sophistication. To demonstrate the applicability of formal semantics, the authors show how to use semantics for validating prototype implementations of programming languages; how to use semantics for verifying analyses used in more advanced implementations of programming languages; and how to use semantics for verifying useful program properties including information about execution time. The reader should have some experience of functional programming and the BNF-style of specifying the syntax of programming languages.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1992

نویسنده

Flemming Nielson

ناشر

John Wiley & Sons

شابک

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

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

Partners in Healing

Partners in Healing

Lisa Helmanis
20
هزار تومان
21 Days to Master Decoding Your Dreams

21 Days to Master Decoding Your Dreams

Howard Colb...
20
هزار تومان
21 Days to Understand Qabalah

21 Days to Understand Qabalah

David Wells
20
هزار تومان
The Factory of Facts

The Factory of Facts

Hilaire Belloc
20
هزار تومان
The Hero and the Blues

The Hero and the Blues

Martha Balshem
20
هزار تومان
Delphi in a Nutshell

Delphi in a Nutshell

Marcus Lutt...
20
هزار تومان
Monitoring with Ganglia

Monitoring with Ganglia

Bob Dotson
20
هزار تومان
Knight's Microsoft SQL Server 2012 Integration Services 24-Hour Trainer

Knight's Microsoft SQL Server 2012 Integration Services 24-Hour Trainer

Lloyd James
20
هزار تومان
Location-Aware Services and QR Codes for Libraries

Location-Aware Services and QR Codes for Libraries

Patricia Cr...
20
هزار تومان
IM and SMS Reference Services for Libraries

IM and SMS Reference Services for Libraries

Joseph W. S...
20
هزار تومان
Joint Libraries

Joint Libraries

Andrea Redmond
20
هزار تومان
Four Lessons of Psychoanalysis

Four Lessons of Psychoanalysis

S. C. Gwynne
20
هزار تومان
Beyond Gender

Beyond Gender

David Drummond
20
هزار تومان
Successful Acquisitions

Successful Acquisitions

Beth Moore
20
هزار تومان
Moving Innovation

Moving Innovation

Thomas Penn
20
هزار تومان
Autodesk Maya 2014 Essentials

Autodesk Maya 2014 Essentials

Gildart Jac...
20
هزار تومان
Reflections in the Light

Reflections in the Light

Richard Holmes
20
هزار تومان
Quantum Shift in the Global Brain

Quantum Shift in the Global Brain

Anna-Lisa H...
20
هزار تومان
Transcending Madness

Transcending Madness

Sonali Dera...
20
هزار تومان
The Buddha Speaks

The Buddha Speaks

Hannah Curtis
20
هزار تومان
Volume 8: Great Eastern Sun; Shambhala; Selected Writings

Volume 8: Great Eastern Sun; Shambhala; Selected Writings

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

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

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

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

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

پذیرفتن