Verifying Concurrent Programs by Controlling Alias Interference الإنجليزية (Q3509714)

من Marefa data
doctoral thesis by Colin S. Gordon, Computer Science & Engineering, University of Washington, 2014 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Verifying Concurrent Programs by Controlling Alias Interference
    doctoral thesis by Colin S. Gordon, Computer Science & Engineering, University of Washington, 2014

      بيانات

      Wikidata item الإنجليزية
      Q113668234
      ٠ مرجع
      inception الإنجليزية
      2014http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668234
      author الإنجليزية
      Colin Gordon الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668234
      number of pages الإنجليزية
      ٢٨١ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668234
      ٩ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668234
      title الإنجليزية
      Verifying Concurrent Programs by Controlling Alias Interference (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668234
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

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