A constructive method for the architectural design and correctness verification of real-time programs /

محفوظ في:
التفاصيل البيبلوغرافية
OCLC:10893043
المؤلف الرئيسي: Saukkonen, Samuli
مؤلف مشترك: Oulun yliopisto
اللغة:English
منشور في: Helsinki : Finnish Academy of Technical Sciences, 1983.
سلاسل:Acta polytechnica Scandinavica. Mathematics and computer science series ; no. 40.
الموضوعات:
Real-time data processing.
Online data processing.
Computer programs > Verification.
التنسيق:

أطروحة Monograph

Note that CRL will digitize material from the collection when copyright allows.

الوصف
وصف مادي:122 p. : ill. ; 25 cm.
بيبلوغرافيا:Bibliography: p. 105-113.
مكان النشر:Finland.

مواد مشابهة