Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Technology for Verification and Analysis : Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Automated Technology for Verification and Analysis : Third International Conference, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

by Doron A. Peled, Yih-Kuen Tsay Paperback 2005

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Doron A. Peled, Yih-Kuen Tsay
  • ISBN 13: 9783540292098
  • ISBN 10: 3540292098
  • Publication Year: 2005
  • Language: English

Specifications

Index-103540292098
LanguageEnglish
Index-139783540292098
Period-
Class Track-
Publisher- (2005)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 16th International Conference, CAV 2004 Boston, MA, USA, July 2004 - Proceedings

Computer Aided Verification : 16th…

Rajeev Alur, Doron A. Peled

Inquire
Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 2002,

Formal Techniques for Networked an…

Doron A. Peled, Moshe Y. Vardi

Inquire
Runtime Verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, Selected Papers

Runtime Verification : 9th Interna…

Saddek Bensalem, Doron A. Peled

Inquire
Software Reliability Methods

Software Reliability Methods

Doron A. Peled, E. M. Clarke

Inquire