Afișare rezultate
Afisarea articolelor 1-2(2) pentru cuvîntul-cheie "composition" 
| Properties of Nominative Programs Specified by Effective Definitional Schemes |
| Ivanov Ievgen1, Nikitcenko Micola1, Skobelev Volodymyr2 |
| 1 Taras Shevchenko National University of Kyiv, |
| Conference on Mathematical Foundations of Informatics |
| 2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
| Disponibil online 30 March, 2018. Descarcări-2. Vizualizări-689 |
| Proving Properties of Programs on Hierarchical Nominative Data |
| Ivanov Ievgen1, Nikitcenko Micola1, Skobelev Volodymyr2 |
| 1 Taras Shevchenko National University of Kyiv, |
| Computer Science Journal of Moldova |
| Nr. 3(72) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 |
| Disponibil online 6 December, 2016. Descarcări-3. Vizualizări-868 |
    |
1-2 of 2
