Practical Verification of Safety-critical Systems ^{الإنجليزية} (Q3510063)

من Marefa data

doctoral thesis by Stuart Pernsteiner, Computer Science & Engineering, University of Washington, 2018 ^{الإنجليزية}

اللغة	التسمية	الوصف	أسماء أخرى
العربية	لم تُضف التسمية	لا يوجد وصف
الإنجليزية	Practical Verification of Safety-critical Systems	doctoral thesis by Stuart Pernsteiner, Computer Science & Engineering, University of Washington, 2018

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

full work available at URL ^{الإنجليزية}

http://hdl.handle.net/1773/42263

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

inception ^{الإنجليزية}

2018^{http://data.marefa.org/entity/Q1985727}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

author ^{الإنجليزية}

Stuart Pernsteiner ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

number of pages ^{الإنجليزية}

١٢٠ صفحة

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

٦ Roman-numbered page

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

title ^{الإنجليزية}

Practical Verification of Safety-critical Systems (الإنجليزية)

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

language of work or name ^{الإنجليزية}

اللغة الإنگليزية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

أطروحة أكاديمية

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(٠ : لا وصلات)

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