- الصفحة الرئيسية /
- الكتب /
- All Books /
- ACM Books Verified Functional Programming in Agda, (Paperback)
0 ratings
منتج #:
248757929
ACM Books Verified Functional Programming in Agda, (Paperback)
منتج #:
248757929
USD 100
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من أمريكا
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر USA
كمية:
بقي 99 فقط من المنتج في المخزن.
اطلب الآن واحصل عليه حول الخميس, نوفمبر 05
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
أفضل شركائنا اللوجستيين
The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs.
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %100
الامتثال لمعيار PCI DSS
حاصل على شهادة ISO 27001
Note: Step Down Voltage Transformer required for using electronics products of أمريكا store (110-120). Recommended power converters اشتري الآن.
تفاصيل المنتج
- Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification, we write pure functional programs and then write proofs of properties about them. The proofs are separate external artifacts, typically using structural induction. In internal verification, we specify properties of programs through rich types for the programs themselves. This often necessitates including proofs inside code, to show the type checker that the specified properties hold. The power to prove properties of programs in these two styles is a profound addition to the practice of programming, giving programmers the power to guarantee the absence of bugs, and thus improve the quality of software more than previously possible. Verified Functional Programming in Agda is the first book to provide a systematic exposition of external and internal verification in Agda, suitable for undergraduate students of Computer Science. No familiarity with functional programming or computer-checked proofs is presupposed. The book begins with an introduction to functional programming through familiar examples like booleans, natural numbers, and lists, and techniques for external verification. Internal verification is considered through the examples of vectors, binary search trees, and Braun trees. More advanced material on type-level computation, explicit reasoning about termination, and normalization by evaluation is also included. The book also includes a medium-sized case study on Huffman encoding and decoding.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Computing & Internet |
| Publication date | February, 2016 |
| Pages | 284 |
| Subgenre | Computer Science |
| Series title | ACM Books |
| Number in series | 1 |
| Edition | 1 |
| Publisher | Association for Computing Machinery 6504698 |
| Original languages | English |
| Translated from | English |
| Language | English |
| Educational level | General |
| Is collectible | N |
| Binding type | Perfect Binding |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 7.50 x 0.60 x 9.25 in (19.1 x 1.5 x 23.5 cm) |
| Assembled product weight | 1.08 lb (490 grams) |
| Bisac subject heading | Computers |
وصف المنتج
ACM Books Verified Functional Programming in Agda, (Paperback)
هل لديك أي استفسار؟ تحدث معنا
أسئلة العملاء & الإجابات
-
سؤال:
كيف تتسوق ACM Books Verified Functional Programming in Agda, عبر الانترنت من يوباى?
إجابه: من السهل التسوق في ACM Books Verified Functional Programming in Agda, عبر الإنترنت من يوباي. كل ما عليك فعله هو البحث عن المنتج واختيار طريقة الشحن الخاصة بك أثناء الدفع وسيتم توصيله الى عنوانك -
سؤال:
هل ACM Books Verified Functional Programming in Agda, متوفر للتسوق عبر الإنترنت في Lebanon؟
إجابه: نعم ، في يوباي Lebanon هذا المنتج متاح لك للتسوق بسعر مناسب. ACM Books Verified Functional Programming in Agda, غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
Aaron Stump All Books Editorial Review
لم يتم العثور على مراجعات تحريرية
مراجعات العملاء وتقييماتهم
1 تقييمات العملاء
-
5 نجمة
100%
-
4 نجمة
0%
-
3 نجمة
0%
-
2 نجمة
0%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
منصة موثوقة وثقة كاملة للمشتري
JK
Jasmin
مشتري موثّق
“Great products and very good service: very easy and very fast international delivery.”
9 September 2026 · عبر Trustpilot
AG
Anke
مشتري موثّق
“Wonderful online shopping experience, smooth transaction from the start. Payment method works conveniently and delivery is unexpectedly fast and reliable. You go the extra mile for service. What makes this even more amazing, you deliver to Namibia. I will remain a happy Ubuy customer and will increase my purchases for sure! Thank you!”
10 September 2026 · عبر Trustpilot
H
Hazel
مشتري موثّق
“Very easy to find the products what you need, and so fast delivery, that’s why I highly recommended to others costumers to used ubuy.”
10 September 2026 · عبر Trustpilot
O
Opaleye
مشتري موثّق
“I received exactly what I ordered I was skeptical about your site because that was my first time to order. But the order came timely and neatly packaged. I was not disappointed. Thank you.”
11 September 2026 · عبر Trustpilot
AC
Adele
مشتري موثّق
“Easy to find and order what you want on the website. Delivery is quick to the UK”
8 September 2026 · عبر Trustpilot
لماذا تتسوق معنا؟
الخروج الآمن
شحن عالمي
إسترجاع سهل
منتجات أصلية
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
USD 100
اطلب الآن واحصل عليه حول الخميس, نوفمبر 05
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
بقي 99 فقط من المنتج في المخزن.
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
المميزات والفوائد
- Learn advanced programming with Agda, based on Type Theory.
- Master both external and internal verification techniques.
- No prior experience in functional programming is necessary.
- Explore practical examples with common data structures.
- Includes a medium-sized case study on Huffman encoding.
- Enhance software quality by ensuring bug-free code.
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.