W BIAŁYMSTOKU
Przeglądaj przez Autor Ivanov, Ievgen
Pokazuję rezultaty 1 do 7 z 7
| Data wydania | Tytuł | Autor(rzy) | Promotor | Redaktor(rzy) |
|---|---|---|---|---|
| 2018 | An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2015 | Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm | Ivanov, Ievgen; Nikitchenko, Mykola; Abraham, Uri | - | - |
| 2018 | Kleene Algebra of Partial Predicates | Korniłowicz, Artur; Ivanov, Ievgen; Nikitchenko, Mykola | - | - |
| 2018 | On Algebras of Algorithms and Specifications over Uninterpreted Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2018 | On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2018 | Partial Correctness of GCD Algorithm | Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola | - | - |
| 2017 | Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations | Ivanov, Ievgen; Nikitchenko, Mykola; Kryvolap, Andrii; Korniłowicz, Artur | - | - |