Mathematics of program construction
second international conference, Oxford, U.K., June
كتاب من تأليف: Woodcock, Jim ; Morgan, C. C. (1952-) ; Bird, R. S.(1943-) ; نشر في: 1993
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
viii, 378 p.
;24 cm
ISBN: 0387566252
الفهرس العشري
621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع
الإعلام الآلي
الكلمات الدالة:
Informatique
:Mathématiques
:Actes de congrès
Programmation (mathématiques)
:Actes de congrès