An Interactive environment supporting the development of formally correct programs /
সংরক্ষণ করুন:
| OCLC: | 43360590 |
|---|---|
| প্রধান লেখক: | |
| সংস্থা লেখক: | |
| ভাষা: | English |
| প্রকাশিত: |
Turku :
Turku Center for Computer Science,
1997.
|
| মালা: | TUCS dissertations,
no. 7. |
| বিষয়গুলি: | |
| বিন্যাস: | গবেষণাপত্র Monograph Note that CRL will digitize material from the collection when copyright allows. |
| উপাদানের বিবরণ: | 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) |
|---|---|
| দৈহিক বর্ননা: | 1 v. (various pagings) ; 25 cm. |
| গ্রন্থ-পঞ্জী: | Bibliogr. : p. 23-26. |
| আইসবিএন: | 952120074X (br.) 9789521200748 (br.) |
| আইএসএসএন: | 1239-1883 ; |
| প্রকাশনার স্থান: | Finland. |