Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled

Time For Verification Essays In Memory Of Amir Pnueli

Doron A. Peled · 2010

איפה לקנות

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

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

פרטי הספר

שנה: 2010
הוצאה: Springer
מהדורות: 1
ISBN: 9783642137532

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

עוד של Doron A. Peled

Software Reliability MethodsDoron A. Peled

Software Reliability Methods

Doron A. Peled · 2013

Automated Technology for Verification and AnalysisDoron A. Peled

Automated Technology for Verification and Analysis

Doron A. Peled · 2005

Software Reliability Methods (Texts in Computer Science)Doron A. Peled

Software Reliability Methods (Texts in Computer Science)

Doron A. Peled · 2001

Model Checking and Artificial IntelligenceDoron A. Peled

Model Checking and Artificial Intelligence

Doron A. Peled · 2009

Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled

Formal Techniques for Networked and Distributed Systems - FORTE 2002

Doron A. Peled · 2003