EN ورود

کشف منابع

verification

کتاب‌ها

5 نتیجه

Cover of Principles of Functional Verification

English Unordered

Principles of Functional Verification

Andreas Meyer

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

Cover of Principles of Model Checking

English Advanced

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

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

English Advanced

Principles of Model Checking (Instructor Solution Manual, Solutions)

Christel Baier,Joost-Pieter Katoen

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

English Unordered

Formal Aspects of Computing

Wu, Nicolas; Simpson, Andrew

2014 May 27 مشاهدهٔ کتاب

Cover of ACM Transactions on Computational Logic

English Unordered

ACM Transactions on Computational Logic

Japaridze, Giorgi

2006 April 01 مشاهدهٔ کتاب