Decidability of Parameterized Verification - Igor Konnov
| Автор: | Igor Konnov |
| Издательство: | Ingram |
| Серия: | Synthesis Lectures on Distributed Computing Theory |
| Жанр произведения: | Компьютеры: прочее |
| Год издания: | 0 |
| isbn: | 9781627057448 |
| Автор: | Igor Konnov |
| Издательство: | Ingram |
| Серия: | Synthesis Lectures on Distributed Computing Theory |
| Жанр произведения: | Компьютеры: прочее |
| Год издания: | 0 |
| isbn: | 9781627057448 |