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.
Τόπος έκδοσης:Finland.

Παρόμοια τεκμήρια