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

Đã lưu trong:
Chi tiết về thư mục
OCLC:10893043
Tác giả chính: Saukkonen, Samuli
Tác giả của công ty: Oulun yliopisto
Ngôn ngữ:English
Được phát hành: Helsinki : Finnish Academy of Technical Sciences, 1983.
Loạt:Acta polytechnica Scandinavica. Mathematics and computer science series ; no. 40.
Những chủ đề:
Real-time data processing.
Online data processing.
Computer programs > Verification.
Định dạng:

Luận văn Monograph

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

Miêu tả
Mô tả vật lý:122 p. : ill. ; 25 cm.
Thư mục:Bibliography: p. 105-113.
Nơi xuất bản:Finland.

Những quyển sách tương tự