Push-button Verification of Systems Software الإنجليزية (Q2282074)

من Marefa data
doctoral thesis by Helgi Kristvin Sigurbjarnarson, Computer Science & Engineering, University of Washington, 2020 الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Push-button Verification of Systems Software
    doctoral thesis by Helgi Kristvin Sigurbjarnarson, Computer Science & Engineering, University of Washington, 2020

      بيانات

      Wikidata item الإنجليزية
      Q113668432
      ٠ مرجع
      inception الإنجليزية
      2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668432
      author الإنجليزية
      Helgi Kristvin Sigurbjarnarson الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668432
      number of pages الإنجليزية
      ١٢٧ صفحة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668432
      ١٢ Roman-numbered page
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668432
      title الإنجليزية
      Push-button Verification of Systems Software (الإنجليزية)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q113668432
      language of work or name الإنجليزية
      instance of الإنجليزية
       

      وصلات الموقع

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