يعرض 1 - 1 نتائج من 1 نتيجة بحث عن 'Sangiorgi, Davide', وقت الاستعلام: 0.01s تنقيح النتائج
  1. 1
    Introduction to bisimulation and coinduction /
    بواسطة Sangiorgi, Davide
    منشور في 2012
    Printed Book
أدوات البحث: أحصل على تغذية RSS — أرسل هذا البحث بالبريد الإلكتروني