0 ratings
منتج #:
247218665
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
منتج #:
247218665
SAR 405
تفاصيل السعر
باستثناء رسوم الشحن والجمارك ( سيتم احتساب رسوم الشحن والجمارك عند إتمام الشراء )
*سيتم استيراد جميع العناصر من أمريكا
0 ratings
اكتب رأيك
متوفر فى المخزون
مستورد من متجر USA
كمية:
بقي 99 فقط من المنتج في المخزن.
اطلب الآن واحصل عليه حول الخميس, أكتوبر 15
معاملة آمنة
تعمل يوباي جاهدة لحماية أمنك وخصوصيتك. يضمن نظام أمان الدفع المتقدم لدينا السرية من خلال تشفير معلوماتك أثناء النقل باستخدام بروتوكولات AES (معايير التشفير المتقدمة) وSSL (طبقة المنافذ الآمنة). تفاصيل الدفع الخاصة بك آمنة بنسبة %100 لأننا لا نشارك تفاصيل الدفع الخاصة بك مع بائعين تابعين لجهات خارجية
أفضل شركائنا اللوجستيين
اشتر الآن وادفع لاحقاً
شحن
سريع
استرجاع
مجاني*
تغليف آمن
منتجات أصلية %100
الامتثال لمعيار PCI DSS
حاصل على شهادة ISO 27001
Note: Step Down Voltage Transformer required for using electronics products of أمريكا store (110-120). Recommended power converters اشتري الآن.
تفاصيل المنتج
- This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining programming language semantics in a way that would directly support the systematic development of programs from their formal specifications. They met their original goal, but as time went on and program derivation became a more and more formal activity, their informal introduction and the fact that many of their properties had never been proved became more and more unsatisfactory. And so did the original exclusion of unbounded nondeterminacy. In 1982 we started to remedy these shortcomings. This little monograph is a result of that work. A possible -and even likely- criticism is that anyone sufficiently versed in lattice theory can easily derive all of our results himself. That criticism would be correct but somewhat beside the point. The first remark is that the average book on lattice theory is several times fatter (and probably less self- contained) than this booklet. The second remark is that the predicate transformer semantics provided only one of the reasons for going through the pains of publication.
| Book format | Paperback |
| Fiction/nonfiction | Non-Fiction |
| Genre | Textbooks |
| Publication date | September, 2011 |
| Pages | 220 |
| Subgenre | Logic |
| Series title | Monographs in Computer Science |
| Edition | softcover reprint of the original 1st 1990 Edition |
| Publisher | Springer New York |
| Original languages | English |
| Language | English |
| Edu focus | Mathematics |
| Educational level | Higher |
| Is collectible | N |
| Recording time | 0 min |
| Retail packaging | Single Piece |
| Assembled product dimensions (l x w x h) | 6.14 x 0.51 x 9.21 in (15.6 x 1.3 x 23.4 cm) |
| Assembled product weight | 0.75 lb (340 grams) |
| Bisac subject heading | Mathematics |
وصف المنتج
Monographs in Computer Science Predicate Calculus and Program Semantics, (Paperback)
هل لديك أي استفسار؟ تحدث معنا
أسئلة العملاء & الإجابات
-
سؤال:
كيف تتسوق Monographs in Computer Science Predicate Calculus عبر الانترنت من يوباى?
إجابه: من السهل التسوق في Monographs in Computer Science Predicate Calculus عبر الإنترنت من يوباي. كل ما عليك فعله هو البحث عن المنتج واختيار طريقة الشحن الخاصة بك أثناء الدفع وسيتم توصيله الى عنوانك -
سؤال:
هل Monographs in Computer Science Predicate Calculus متوفر للتسوق عبر الإنترنت في Saudi Arabia؟
إجابه: نعم ، في يوباي Saudi Arabia هذا المنتج متاح لك للتسوق بسعر مناسب. Monographs in Computer Science Predicate Calculus غير متوفر محليًا ولكن يمكنك الوثوق بنا بخدماتنا للشحن السريع. -
سؤال:
كم من الوقت يستغرق الحصول على المنتج بعد تقديم الطلب؟
إجابه: يختلف وقت تسليم المنتج الذي طلبته حسب ما طلبته وطريقة الشحن التي اخترتها. يتم ذكر وقت التسليم المقدر أثناء عملية الدفع ، لذا كن مرتاحًا أثناء التسوق.
Edsger W Dijkstra All Books Editorial Review
لم يتم العثور على مراجعات تحريرية
مراجعات العملاء وتقييماتهم
1 تقييمات العملاء
-
5 نجمة
100%
-
4 نجمة
0%
-
3 نجمة
0%
-
2 نجمة
0%
-
1 نجمة
0%
أضف تقييم لهذا المنتج
شارك أفكارك مع عملاء آخرين
تاريخ سعر المنتج
معلومات مهمة
- القيود: بالنسبة للمنتجات التي يتم شحنها دولياً، يُرجى ملاحظة أن أي ضمان من الشركة المصنعة قد لا يكون صالحاً؛ قد لا تتوفر خيارات خدمة الشركة المصنعة؛ قد لا تكون أدلة المنتج والتعليمات وتحذيرات السلامة مكتوبة بلغة بلد المقصد؛ قد لا يتم تصميم المنتجات (والمواد المصاحبة لها) وفقاً لمعايير بلد الوجهة والمواصفات ومتطلبات الملصقات؛ وقد لا تتوافق المنتجات مع الجهد الكهربي المستخدم في بلد الوجهة والمعايير الكهربائية الأخرى (تتطلب استخدام محوّل كهربي أو جهاز تحويل إذا كان ذلك مناسباً). المستلم مسؤول عن ضمان إمكانية استيراد المنتج بشكل قانوني إلى بلد الوجهة. عند الطلب من يوباي أو الشركات التابعة لها، يكون المستلم هو المستورد المسجل ويجب أن يلتزم بجميع القوانين واللوائح الخاصة ببلد الوجهة.
- ليست كل المنتجات المدرجة على يوباي معروضة للبيع، لأن يوباي هو محرك بحث عالمي. المنتجات تخضع للوائح التصدير / التجارة.
SAR 405
اطلب الآن واحصل عليه حول الخميس, أكتوبر 15
هذا المنتج غير ممنوع في بلدي. (الرجاء الضغط على الرابط أعلاه إذا لم يكن هذا المنتج ممنوعاً في بلدك ، لذلك سيقوم فريقنا بمراجعته والسماح به.)
كمية:
بقي 99 فقط من المنتج في المخزن.
معاملة آمنة
نوفر لك مدفوعات مشفّرة، وحماية متكاملة للمشتري، مع الالتزام بمعايير PCI DSS وشهادة ISO 27001:2022 لضمان أعلى مستويات الأمان في كل عملية شراء.
أفضل شركائنا اللوجستيين
أسرع توصيل عبر الحدود
ضمان Ubuy
تسوّق بثقة مع منتجات أصلية %100، ومدفوعات آمنة متوافقة مع معيار PCI DSS، وحماية بيانات معتمدة وفق ISO 27001، وشحن دولي سريع، وإرجاع مجاني*، وتغليف آمن لكل طلب.