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

خرید کتاب Piton

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

Piton

Piton
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 3 (1)

A Mechanically Verified Assembly-Level Language

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
ترجمه این کتاب مشاهده همه کتاب های ترجمه نشده
Piton
A Mechanically Verified Assembly-Level Language
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber generally carries several spike-like pitons and stops when possible to drive one into a small crack or crevice in the rock face. After climbing just above the piton, the climber clips the rope to the piton, using slings and carabiners. A subsequent fall would result in the climber hanging from the piton--if the piton stays in the rock, the slings and carabiners do not fail, the rope does not break, the partner is holding the rope taut and secure, and the climber had not climbed too high above the piton before falling. The climber's safety clearly depends on all of the components of the system. But the piton is distinguished because it connects the natural to the artificial. In 1987 I designed an assembly-level language for Warren Hunt's FM8501 verified microprocessor. I wanted the language to be conveniently used as the object code produced by verified compilers. Thus, I envisioned the language as the first software link in a trusted chain from verified hardware to verified applications programs. Thinking of the hardware as the "rock" I named the language "Piton.
لغو
iran گزارش تخلف

گزارش تخلف

بستن

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

1996

نویسنده

J. Strother Moore

ناشر

Springer

شابک

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

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

Automated Reasoning

Automated Reasoning

Robert Step...
20
هزار تومان
Piton

Piton

J. Strother...
20
هزار تومان
Resolution proof systems : an algebraic theory

Resolution proof systems : an algebraic theory

Zbigniew St...
20
هزار تومان
Resolution Proof Systems

Resolution Proof Systems

Z. Stachniak
20
هزار تومان
Introduction to RISC Assembly Language Programming

Introduction to RISC Assembly Language Programming

John Waldron
20
هزار تومان
Expert .Net 2.0 Il Assembler

Expert .Net 2.0 Il Assembler

Serge Lidin
20
هزار تومان
Mastering Object-Oriented Python

Mastering Object-Oriented Python

Steven F. Lott
20
هزار تومان
Python for Bioinformatics, Second Edition

Python for Bioinformatics, Second Edition

Sebastian B...
20
هزار تومان
Web Scraping with Python

Web Scraping with Python

Ryan Mitchell
20
هزار تومان
A primer on scientific programming with Python

A primer on scientific programming with Python

Hans
20
هزار تومان
A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

Hans Petter...
20
هزار تومان
A Primer on Scientific Programming with Python

A Primer on Scientific Programming with Python

Hans Petter...
20
هزار تومان
Python Scripting for Computational Science

Python Scripting for Computational Science

Hans Petter...
20
هزار تومان
Maya Python for games and film : a complete reference for the Maya Python and the Maya Python API

Maya Python for games and film : a complete reference for the Maya Python and the Maya Python API

Adam Mechtl...
20
هزار تومان
Scripting in Computational Science

Scripting in Computational Science

Hans Petter...
20
هزار تومان
Mathematical Modeling and Computation in Finance

Mathematical Modeling and Computation in Finance

Lech A. Grz...
20
هزار تومان
9783030029395

9783030029395

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

Practical Programming

Tammy Coron
20
هزار تومان
Big data con Python : recolección, almacenamiento y proceso

Big data con Python : recolección, almacenamiento y proceso

Rafael Caba...
20
هزار تومان
Python Scripting for Computational Science

Python Scripting for Computational Science

Hans Petter...
20
هزار تومان
Mastering Object-Oriented Python

Mastering Object-Oriented Python

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

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

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

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

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

پذیرفتن