جوزف سیفاکیس

جوزف سیفاکیس (اینگیلیسجه: Joseph Sifakis) بیلیم اینسان. جوزف سیفاکیس آتن میلّی تکنیکال بیلیم‌یوردودا درس اوْخویوب.

جوزف سیفاکیس
Joseph Sifakis img 0966.jpg
دوغومDecember ۲۶, ۱۹۴۶&#۱۶۰;(۱۹۴۶−۱۲−۲۶)
وطنداشلیقGreek/فرانسه
تحصیل یئریآتن میلّی تکنیکال بیلیم‌یوردو
تانینماق سببیDevelopment of Model-Checking

قایناق‌لاردَییشدیر

اینگیلیسجه ویکی‌پدیاسی‌نین ایشلدنلری طرفیندن یارانمیش«Joseph Sifakis»، مقاله‌سیندن گؤتورولوبدور.( ۷ سپتامبر ۲۰۱۷ تاریخینده یوْخلانیلیبدیر).

قارداش پروژه‌لرده جوزف سیفاکیس گؤره داها آرتیق بیلگی‌لر تاپابیلرسینیز.


  فایل‌لار ویکی‌آمباردا