Отображение 1 - 1 результаты of 1 для поиска 'Holzmann, Gerald J., 1951-', время запроса: 0.02сек. Отмена результатов
  1. 1
    The spin model checker : primer and reference manual /
    по Holzmann, Gerald J., 1951-
    Опубликовано 2004
    ‌
Инструменты поиска: RSS-поток – Отправить результаты поиска по Email