مكتبة جرير

Programming with Specifications : An Introduction to ANNA

A Language for Specifying Ada Programs

كتاب مطبوع
518ر.س.
شامل ضريبة القيمة المضافة
وحدة البيع: EACH
31ر.س.شهرياً/24 شهر
المؤلف:Luckham, David
تاريخ النشر: 2012
تصنيف الكتاب:التقنية والكمبيوتر,الكتب الانجليزية
عدد الصفحات:440 Pages
الصيغة:غلاف ورقي
هذا الكتاب يُطبع عند الطلب وغير قابل للاسترجاع بعد الشراء

الصيغ المتوفرة:

كتاب مطبوع

سيتم إرسال الطلب الى عنوانك

518ر.س.
شامل الضريبة

حدد خيار التوصيل الذي تفضله

أو

عن المنتج

This monograph introduces ANNA, a language for specifying programs written in Ada.
عرض أكثر

المواصفات

رقم الصنف9781461396871
رقم المصنع9781461396871
تاريخ النشر2012
عرض أكثر

أبلغ عن مشكلة مع هذا المنتج

مراجعات العملاء