الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
1
منشور في 2012
جدول المحتويات:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2013
جدول المحتويات:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”احصل على النص الكامل
الكتروني
كتاب الكتروني