Основы логических методов проверки автоматов /
| Основен автор: | Скляревич, Акива Нухимович. |
|---|---|
| Формат: | Книга |
| Език: | Russian |
| Публикувано: |
Рига :
Зинатне,
1979.
|
| Предмети: |
| Физически характеристики: |
192 с. ; 22 см. |
|---|