Formal Techniques for Networked and Distributed Systems - FORTE 2002Doron A. Peled
Formal Techniques for Networked and Distributed Systems - FORTE 2002
Doron A. Peled, Moshe Y. Vardi · 2003
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2003
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540361350
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
Model Checking and Artificial IntelligenceDoron A. Peled
Model Checking and Artificial Intelligence
Doron A. Peled · 2009