Результати пошуку - Lano, K.

  • Показ 1 - 1 результатів із 1
Уточнити результати
  1. 1
    Specification in B: an introduction using the B toolkit

    Specification in B: an introduction using the B toolkit за авторством Lano, K.

    Опубліковано 1996
    Книга
    Додати у Вибране
    Збережено в:

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