Formal development of programs and proofs

Formal development of programs and proofs

التفاصيل البيبلوغرافية
مؤلفون آخرون: Dijkstra, Edsger Wybe
التنسيق: كتاب
اللغة:English
منشور في: Reading, Mass. Addison-Wesley c1990.
الموضوعات:
Electronic digital computers > Programming > Congresses.