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

Time For Verification Essays In Memory Of Amir Pnueli

Doron A. Peled · 2010

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2010
Publisher: Springer
Editions: 1
ISBN: 9783642137532

Data source: Wikidata

More by 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