Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
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 and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6. 1 International Conference Houston, Texas, USA, November 2002,

by Doron A. Peled, Moshe Y. Vardi Paperback 2002

⭐ 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, Moshe Y. Vardi
  • ISBN 13: 9783540001416
  • ISBN 10: 3540001417
  • Publication Year: 2002
  • Language: English

Specifications

Index-103540001417
LanguageEnglish
Index-139783540001416
Period-
Class Track-
Publisher- (2002)
Pages-

✨ Readers also enjoyed...

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

Automated Technology for Verificat…

Doron A. Peled, Yih-Kuen Tsay

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

Computer Aided Verification : 16th…

Rajeev Alur, Doron A. Peled

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