Specification and Transformation of Programs A formal approach to Software Development

Publication Title Name :Specification and Transformation of Programs A formal approach to Software Development اسم عنوان المنشور
Publication year :Book 1990 سنة النشر
Publication Address :Partsch, Helmut A.,عنوان المنشور
Main Category :Computer programming, programs, dataالفئة الرئيسية
Main & Sub Category :005 Computer programming, programs, data | Computer softwareالفئة الرئيسية والفرعية
Vol :This Information still not availableالمجلد
Dewey Decimal Classification (DDC)No :005.1رقم تصنيف ديوي العشري
Article Title :Specification and Transformation of Programs A formal approach to Software Development عنوان المقال
Statement of responsibility :Helmut A. Partsch.بيان المسؤولية
Place of publication :Berlin ;مكان النشر
Name of publisher :Springer-Verlag,اسم الناشر
Date of publication :1990.تاريخ النشر
Publication Extent :xiii, 493 p. :نطاق النشر
Publication Dimensions :25 cm.أبعاد النشر
Topical term :Computer software - / Development.المصطلح الموضعي
Leader :01029pam a2200265 a 4500رقم التصنيف
ISBN :z)0387525899 (U.S. : soft : student ed.)الترقيم الدولى الموحد
Original BibID :9802803الرقم الببليوجرافي
Date and time of last modification :20120215104841.0تاريخ و وقت آخر تعديل
General informatio :120215s1990####gw- a###fr#####000#0#eng#cعناصر البيانات ثابت
Cataloging Source :NAمصدر الفهرسة
DDC No :NAرقم تصنيف ديوى
Personal Name :a)Partsch, Helmut A., d)1950-مدخل رئيسي لاسم شخص
The physical location of publication :Specification and Transformation of Programs :عنوان الوعاء
Publication data field :a)Berlin ; a)New York : b)Springer-Verlag, c)1990.حقل بيانات النشر
physical descripti :a)xiii, 493 p. : b)ill. ; c)25 cm.حقل الوصف المادى
Topical term :a)Specification and Transformation of Programs : b)A formal approach to Software Development / c)Helmut A. Partsch.رؤوس الموضوعات
Language Code :Language is uncertainرمز اللغة
Additional input :لا يوجد معلومات اضافية للمدخل اللأضافيالمدخل الإضافي
Author Name :Partsch, Helmut A., / 1950-اسم المؤلف
Other data :لا يوجد بيانات اضافيةبيانات أخرى
Research topic :لا يوجد بيانات اضافيةموضوع البحث

 

Featured Article

Articles