Ցուցադրվում են 1 - 2 արդյունքները 2 այս փնտրման համար 'Denvir, Tim', հարցման ժամանակը: 0.01s Հստակեցնել արդյունքները
  1. 1
    Introduction to discrete mathematics for software engineering /
    Գիրք
    Denvir, Tim
    Հրապարակվել է 1986
    Պահել ցուցակում
    Պահպանված է:
  2. 2
    FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings /
    Գիտաժողովի նյութեր Գիրք
    Հրապարակվել է 1994
    Այլ հեղինակներ: “…Denvir, Tim, 1939-…”
    Պահել ցուցակում
    Պահպանված է:
Որոնման գործիքներ: Ստացեք RSS հոսք – Էլփոստով ուղարկեք այս փնտրումը