Advances in theory and formal methods of computing
proceedings of the Third Imperial College Workshop
كتاب من تأليف: Edalat, A. ; نشر في: 1996
طبعة:
Washingto:
Imperial College Press
لغة:
إنجليزية
الوصف المادي:
330 p. couv. ill. en coul.
;22 cm.
ISBN: 1860940315
الكلمات الدالة:
Logiciels
:Développement
:Congrès
Génie logiciel
:Congrès
Systèmes, Conception de
:Congrès