Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 ProceedingsAarti Gupta

Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings

Name: Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
ISBN: 9783540705437

איפה לקנות

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

פרטי הספר

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