EN ورود

کشف منابع

Kim Guldstrand Larsen

کتاب‌ها

1 نتیجه

Cover of Principles of Model Checking

English Advanced

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

2008 مشاهدهٔ کتاب