Model Checking SoftwareCorina S. Pasareanu

Model Checking Software

Corina S. Pasareanu · 2009

איפה לקנות

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

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

פרטי הספר

שנה: 2009
שפה: English
הוצאה: Springer London, Limited
מהדורות: 3
ISBN: 9783642026522

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

עוד של Corina S. Pasareanu

Proceedings of the 2014 International Symposium on Software Testing and AnalysisCorina S. Pasareanu

Proceedings of the 2014 International Symposium on Software Testing and Analysis

Corina S. Pasareanu · 2014

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 ProceedingsCorina S. Pasareanu

Model Checking Software 16th International Spin Workshop Grenoble France June 2628 2009 Proceedings

Corina S. Pasareanu · 2009