Afișare rezultate |    SM ISO690:2012 |
Afisarea articolelor 1-3(3) pentru cuvîntul-cheie "Formal methods"
| Bine de știut! Norme și metode formale în gândirea critică |
| Symons John |
| Şcoala internaţională de metodologie în ştiinţele socioumane |
| Ediția a 5-a. 2022. Chișinău, Republica Moldova. ISBN 978-9975-159-95-1. |
| Disponibil online 24 July, 2023. Descarcări-0. Vizualizări-108 |
| On Implementation of the Composition-nominative Approach to Program Formalization in Mizar System |
| Ivanov Ievgen1, Kornilowicz Artur2, Nikitcenko Micola1 |
| 1 Taras Shevchenko National University of Kyiv, |
| Conference on Mathematical Foundations of Informatics |
| 2017. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐6‐2. |
| Disponibil online 19 March, 2018. Descarcări-8. Vizualizări-631 |
| Implementation of the Composition-nominative Approach to Program Formalization in Mizar |
| Ivanov Ievgen1, Kornilowicz Artur2, Nikitcenko Micola1 |
| 1 Taras Shevchenko National University of Kyiv, |
| Computer Science Journal of Moldova |
| Nr. 1(76) / 2018 / ISSN 1561-4042 /ISSNe 2587-4330 |
| Disponibil online 4 May, 2018. Descarcări-2. Vizualizări-919 |
    |
1-3 of 3
