Computer Aided VerificationDavid L. Dill

Computer Aided Verification

David L. Dill · 2014

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 2014
הוצאה: Springer
מהדורות: 1
עמודים: 496
ISBN: 9783662194027

מקור הנתונים: Wikidata

עוד של David L. Dill

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994David L. Dill

Computer Aided Verification: 6th International Conference, Cav '94, Stanford, California, Usa, June 21-23, 1994

David L. Dill · 1994

Trace theory for automatic hierarchical verification of speed-independent circuitsDavid L. Dill

Trace theory for automatic hierarchical verification of speed-independent circuits

David L. Dill · 2003