يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Fisher, Michael 1962-', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1

    An introduction to practical formal methods using temporal logic حسب Fisher, Michael 1962-

    منشور في 2011
    كتاب

    An introduction to practical formal methods using temporal logic

أدوات البحث: