Model Checking and Artificial IntelligenceDoron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled, Michael Wooldridge · 2009
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2009
- Language
- English
- Publisher
- Springer
- Editions
- 1
- ISBN
- 9783642004315
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
Time For Verification Essays In Memory Of Amir PnueliDoron A. Peled
Time For Verification Essays In Memory Of Amir Pnueli
Doron A. Peled · 2010
Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled · 2003