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

Gardado en:
Detalles Bibliográficos
OCLC:10893043
Autor Principal: Saukkonen, Samuli
Autor Corporativo: Oulun yliopisto
Idioma:English
Publicado: Helsinki : Finnish Academy of Technical Sciences, 1983.
Series:Acta polytechnica Scandinavica. Mathematics and computer science series ; no. 40.
Subjects:
Real-time data processing.
Online data processing.
Computer programs > Verification.
Formato:

Thesis Monograph

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

Descripción
Descrición Física:122 p. : ill. ; 25 cm.
Bibliografía:Bibliography: p. 105-113.
Lugar de Publicación:Finland.

Títulos similares