logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Wang Yi's Books back

language per page order
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science) - Tiziana Margaria, Wang Yi
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences ... (Lecture Notes in Computer Science)
by Tiziana Margaria (author), Wang Yi (author)
publisher: Springer publish date: February 22nd 2009
format: kindle pages: 588
language: English
ASIN: B000TU77WK
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings - Tiziana Margaria, Wang Yi
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, Tacas 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2001 Genova, Italy, April 2-6, 2001 Proceedings
by Tiziana Margaria (author), Wang Yi (author)
publisher: Springer publish date: March 21st 2001
format: paperback pages: 594
language: English
ISBN: 3540418652 (9783540418658)
ASIN: 3540418652
Need help?