Showing 1 - 2 results of 2 for search 'Denvir, Tim', सवाल का समय: 0.01सेकंड परिणाम को परिष्कृत करें
  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 फ़ीड प्राप्त करें – इस खोज को ईमेल करें