1. Decision procedures : an algorithmic point of view
Author: / Daniel Kroening, Ofer Strichman,کرونینگ,Kroening
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: تجزیه و تحلیل ترتیبی,الگوریتمها,تصمیمگیری آماری
Classification :
QA
۲۹۷
/
۷
/
ک
۴
د
۹ ۱۳۸۷
