An Interactive environment supporting the development of formally correct programs /

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
OCLC:43360590
Prif Awdur: Långbacka, Thomas
Awdur Corfforaethol: Åbo akademi (1918- )
Iaith:English
Cyhoeddwyd: Turku : Turku Center for Computer Science, 1997.
Cyfres:TUCS dissertations, no. 7.
Pynciau:
Fformat:

Traethawd Ymchwil Monograph

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

Disgrifiad
Disgrifiad o'r Eitem:Comprend aussi les publications suivantes de l'auteur : "Using a theorem prover for reasoning about concurrent algorithms" (Lecture notes in computer sc., vol. 663, 1993)--"Mechanising some advanced refinement concepts" (Formal methods in system design, 3, 1993)--"a HOL formalisation of the temporal logic of actions" (Lecture notes in computer sc., vol. 859, 1994)--"TkWinHOL : a tool for window inference in HOL" (Lecture notes in computer sc., vol. 971, 1995)--"Recording HOL proofs in a structured browsable format" (6th Intern. Conf. on Algebric Methodology and Software Technology, 1997)--"The refinement calculator : proof support for program refinement" (in "Discrete Math. and Theoretical Computer Sc.", 1997)--"Refining reactive systems in HOL using action systems" (Lecture notes in computer sc., vol. 1275, 1997)
Disgrifiad Corfforoll:1 v. (various pagings) ; 25 cm.
Llyfryddiaeth:Bibliogr. : p. 23-26.
ISBN:952120074X (br.)
9789521200748 (br.)
ISSN:1239-1883 ;
Man cyhoeddi:Finland.