Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October/November 2004, Proceedin

Automated Technology for Verification and Analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October/November 2004, Proceedin

by Farn Wang Paperback 2004

⭐ 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: Farn Wang
  • ISBN 13: 9783540236108
  • ISBN 10: 3540236104
  • Publication Year: 2004
  • Language: English

Specifications

Index-103540236104
LanguageEnglish
Index-139783540236108
Period-
Class Track-
Publisher- (2004)
Pages-

✨ Readers also enjoyed...

View All →
Formal Techniques for Networked and Distributed Systems - FORTE 2005 : 25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005,

Formal Techniques for Networked an…

Farn Wang

Inquire
Theoretical Aspects of Computing Ictac 2016 : 13th International Colloquium, Taipei, Taiwan, Roc, October 24 31, 2016, Proceedings

Theoretical Aspects of Computing I…

Augusto Sampaio, Farn Wang

Inquire
Psychoanalytic Insights into Social Political and Organizational Dynamics

Psychoanalytic Insights into Socia…

Seth Allcorn, Howard F. Stein

Inquire
Schopenhauer's System in Its Philosophical Significance

Schopenhauer's System in Its Philo…

William Caldwell

Inquire