عرض عادي
عرض مارك
- Computer software
مدخل مصطلح موضوعي
001 - رقم الضبط
- حقل الضبط: 3493
003 - معرف رقم الضبط
- حقل الضبط: OSt
005 - تاريخ ووقت أخر عملية
- حقل الضبط: 20110828131527.0
008 - عناصر بيانات ثابتة الطول
- حقل تحكم ثابت الطول: 110828|||a|||||| | ||| d
040 ## - مصدر الفهرسة
- هيئة الفهرسة الأصلية: OSt
- وكالة الكتابة: OSt
150 ## - مدخل-- مصطلح تاريخي
- عنصر مدخل المصطلح الموضوعي او الاسم الجغرافي: Computer software
- تفريع عام: Verification
- تفريع شكلي: Congresses.
670 ## - بيانات المصدر موجوده
- الاستشهاد بالمصدر: Work cat.: (OSt)0: MoChArt 2008 (2008 : Patrai, Greece) 3491, Model Checking and Artificial Intelligence, c2009.