Formal methods and software development
كتاب من تأليف: Ehrig, Hartmut ; Colloquium on Software Engineering (Berlin, Germany ; نشر في: 1985
طبعة:
Berlin:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
xiv, 455 p. ill.
;25 cm
ISBN: 0387151990