img

تفاصيل البطاقة الفهرسية

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

Advances in theory and formal methods of computing

الفهرس