حول هذا المنتج
ملخص الكتاب يضم هذا المجلد الأوراق البحثية التي تم اختيارها لتقديمها في المؤتمر الدولي حول الأساليب الرسمية في البرمجة وتطبيقاتها، والذي عُقد في Academgorodok، نوفوسيبيرسك، روسيا، في يونيو-يوليو 1993. وقد نظم المؤتمر معهد نظم المعلومات التابع للقسم السيبيري للأكاديمية الروسية للعلوم، وكان أول منتدى ينظمه المعهد مخصص بالكامل للأساليب الرسمية. وتركزت المسارات العلمية الرئيسية للمؤتمر حول الأساليب الرسمية لتطوير البرامج وبناء البرامج. تتوزع الأوراق البحثية في هذا الكتاب على الأجزاء التالية: - طرق الدلالات الرسمية - طرق المواصفات الجبرية - التحليل الدلالي للبرامج والتفسير المجرد - دلالات التوازي - منطق البرامج - مواصفات البرمجيات والتحقق منها - التطوير التحويلي وتخليق البرامج.
- المميزات
- يضم هذا المجلد الأوراق البحثية المختارة لتقديمها في المؤتمر الدولي حول الأساليب الرسمية في البرمجة وتطبيقاتها، والذي عُقد في أكاديمغورودوك، نوفوسيبيرسك، روسيا، في يونيو-يوليو 1993.
- المؤلف (المؤلفون): Dines Bjørner & Manfred Broy & Igor V Pottosin
- 438 صفحة
- الحواسيب، تصميم المنطق
- اسم السلسلة: Lecture Notes in Computer Science
المواصفات
- الأبعاد (الإجمالية)
9.21 بوصة (ارتفاع) × 6.14 بوصة (عرض) × .91 بوصة (عمق)
- الوزن
1.38 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
438
- الفئة
أجهزة الكمبيوتر
- الفئة الفرعية
تصميم المنطق
- عنوان السلسلة
Lecture Notes in Computer Science
- الناشر
Springer
- التنسيق
غلاف ورقي
- المؤلف
Dines Bjørner & Manfred Broy & Igor V Pottosin
- اللغة
الإنجليزية