The Calculus of Computation: Decision Procedures with Applications to VerificationAaron R. Bradley

The Calculus of Computation: Decision Procedures with Applications to Verification

Name: The Calculus of Computation: Decision Procedures with Applications to Verification
ISBN: 9783540741138

איפה לקנות

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

פרטי הספר

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