لغة برمجة الكمبيوتر
لتكبير النص لتصغير النص-
موضوع
|
رقم النظام
987007411089005171
-
تم الحفظ بنجاحהפריט קיים באזור האישישגיאהلحفظ المحتوى الرجاء تسجيل الدخول
معلومات حول الهوية:
الاسم الرئيس (بالعبرية)
שפת תכנות מחשבים SPARK
الاسم الرئيس (باللاتينية)
SPARK (Computer program language)
الاسم الرئيس (بالعربية)
لغة برمجة الكمبيوتر : SPARK
موضوع ذو صلة
Programming languages (Electronic computers)
MARC
MARC
أرقام تعريفية أخرى
Wikidata:
Q3493345
Library of congress:
sh2015001170
مصادر المعلومات
- Work cat: 2015014814: McCormick, J.W. High integrity programming with SPARK, 2015:CIP galley (SPARK is a programming language and a set of verification tools specifically designed to support the development of software used in high integrity applications)
- Wikipedia, May 5, 2015(SPARK (Programming language); formally defined computer programming language based on the Ada programming language; first version produced at the University of Southampton, with UK Ministry of Defence sponsorship, by Bernard Carré and Trevor Jennings)
- Inspec, viewed May 5, 2015(uncontrolled term: SPARK 2014 language)