Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 ProceedingsOded Maler

Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings

Name: Computer Aided Verification 21st International Conference Cav 2009 Grenoble France June 26 July 2 2009 Proceedings
ISBN: 9783642026577

איפה לקנות

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

פרטי הספר

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