| dc.contributor | Kozma László | en_EN |
| dc.creator | Borsi Zsolt | en_EN |
| dc.creator | Sütőné Kovás Andrea Erika | en_EN |
| dc.date | 2014-04-30 | en_EN |
| dc.date.accessioned | 2019-08-08T10:16:51Z | |
| dc.date.available | 2019-08-08T10:16:51Z | |
| dc.identifier | ISBN 978-963-284-430-5 | en_EN |
| dc.identifier.uri | http://dtk.tankonyvtar.hu/xmlui/handle/123456789/3768 | |
| dc.description | The goal is to understand of theoretical and practical aspects of correctness proof methods of programs. Understand of formal methods for deriving weakly and strongly correct concurrent programs. Developing skills for applying proof and synthesis methods. Ability to use abstraction to create correct programs | en_EN |
| dc.format | application/epub+zip | en_EN |
| dc.format | application/pdf | en_EN |
| dc.language | en | en_EN |
| dc.publisher | Eötvös Loránd University Faculty of Informatics | en_EN |
| dc.rights | Borsi Zsolt | en_EN |
| dc.rights | Sütőné Kovás Andrea Erika | en_EN |
| dc.rights | Kozma László | en_EN |
| dc.rights | Eötvös Loránd University Faculty of Informatics | en_EN |
| dc.subject | Hoare calculus | en_EN |
| dc.subject | A relational model of sequential programs | en_EN |
| dc.subject | Temporal logic of concurrent programs | en_EN |
| dc.subject | Owiczki-Gries method | en_EN |
| dc.subject | Synthesis of Synchronization code | en_EN |
| dc.title | Correctness | en_EN |
| dc.type | Tankönyv | en_EN |
| dtk.fir | Computer Science and Information Technology | en_EN |
| dtk.oecd | 01. Natural sciences::01.02. Computer and information sciences | en_EN |
| dtk.player | epubreader | en_EN |
| dtk.purchase | TÁMOP-4.1.2.A/1-11/1-2011-0052 Eötvös Loránd Tudományegyetem | en_EN |
| dtk.size | 78 p. | en_EN |
| dtk.type | book | en_EN |
| dtk.udc | ---- MAIN TABLES::0 SCIENCE AND KNOWLEDGE. ORGANIZATION. COMPUTER SCIENCE. INFORMATION. DOCUMENTATION. LIBRARIANSHIP. INSTITUTIONS. PUBLICATIONS::004 Computer science and technology. Computing. Data processing::004.4 Software::004.42 Computer programming. Computer programs | en_EN |
