Результати пошуку - Bjørner, Dines 1937-

  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1

    Formal specification and software development за авторством Bjørner, Dines 1937-

    Опубліковано 1982
    Книга


    Зображення обкладинки

Інструменти для пошуку: