Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 5 результатів із 5 для пошуку '', час виконання запиту: 0.01сек. Уточнити результати
  1. 1
    Z: a beginner's guide /
    Книга
    за авторством Rann, David
    Опубліковано 1994
    Додати у Вибране
    Збережено в:
  2. 2
    The Z notation : a reference manual /
    Книга
    за авторством Spivey, J. M.
    Опубліковано 1989
    Додати у Вибране
    Збережено в:
  3. 3
    Z guide for beginners /
    Книга
    за авторством McMorran, Mike
    Опубліковано 1993
    Додати у Вибране
    Збережено в:
  4. 4
    Z User Workshop : proceedings of the ... Annual Z User Meeting.
    Матеріали конференцій
    Опубліковано 1994
    Додати у Вибране
    Збережено в:
  5. 5
    Formal specification using Z /
    Книга
    за авторством Lightfoot, David, 1951-
    Опубліковано 1991
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук