Rövidített megjelenítés

dc.creatorIstenes Zoltánen_EN
dc.date2014-04-30en_EN
dc.date.accessioned2019-08-08T10:27:42Z
dc.date.available2019-08-08T10:27:42Z
dc.identifier.urihttp://dtk.tankonyvtar.hu/xmlui/handle/123456789/3817
dc.descriptionLearning outcome: Students will understand the importance of the use of the formal methods such as the B method, will be able to specify, reine, implement and create executable code, using formal methods. Students will be able to prove formally the correctness of the program they created, to use the B method and it's software tool the Atelier B.en_EN
dc.formatapplication/epub+zipen_EN
dc.formatapplication/pdfen_EN
dc.languageenen_EN
dc.publisherEötvös Loránd University Faculty of Informaticsen_EN
dc.rightsIstenes Zoltánen_EN
dc.rightsEötvös Loránd University Faculty of Informaticsen_EN
dc.subjectB methoden_EN
dc.subjectClassical Ben_EN
dc.subjectAtelier Ben_EN
dc.subjectcorrectnessen_EN
dc.subjectformal methodsen_EN
dc.titleFormal Methods in Software Engineeringen_EN
dc.typeTankönyven_EN
dtk.firComputer Science and Information Technologyen_EN
dtk.oecd01. Natural sciences::01.02. Computer and information sciencesen_EN
dtk.playerepubreaderen_EN
dtk.purchaseTÁMOP-4.1.2.A/1-11/1-2011-0052 Eötvös Loránd Tudományegyetemen_EN
dtk.size98 p.en_EN
dtk.typebooken_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.41 Software engineeringen_EN


A dokumentumhoz tartozó fájlok

Thumbnail
Thumbnail
Thumbnail
Thumbnail

A dokumentum a következő gyűjtemény(ek)ben található meg

Rövidített megjelenítés