Առաջարկվող թեմաներ ձեր որոնման շրջանակներում:
Ցուցադրվում են 1 - 5 արդյունքները 5 այս փնտրման համար '', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  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 հոսք – Էլփոստով ուղարկեք այս փնտրումը – Պահպանել որոնումը