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.
פורמט:

Thesis Monograph

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

תיאור
תיאור פיזי:122 p. : ill. ; 25 cm.
ביבליוגרפיה:Bibliography: p. 105-113.
Place of Publication:Finland.

פריטים דומים