Automatically Proving the Correctness of Program Analyses and Transformations الإنجليزية (Q4750322)

من Marefa data
doctoral thesis by http://www.wikidata.org/entity/Q102243271, Computer Science & Engineering, University of Washington, 2006 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Automatically Proving the Correctness of Program Analyses and Transformations
    doctoral thesis by http://www.wikidata.org/entity/Q102243271, Computer Science & Engineering, University of Washington, 2006

      بيانات

      Wikidata item الإنجليزية
      Q113668197
      ٠ مرجع
      full work available at URL الإنجليزية
      inception الإنجليزية
      2006http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668197
      author الإنجليزية
      Sorin Lerner الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668197
      number of pages الإنجليزية
      ١٨٥ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668197
      ٧ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668197
      title الإنجليزية
      Automatically Proving the Correctness of Program Analyses and Transformations (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668197
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

          مجلوبة من «https://data.marefa.org/w/index.php?title=Q4750322&oldid=56894566»