automated technology for verification and analysis: second international conference, atva 2004, taipei, taiwan, roc, october 31 - november 3, 2004. pr (in English)
Wang, F. (Author) · springer · Physical Book
$ 104.20
$ 109.99
You save: $ 5.79
Choose the list to add your product or create one New List
Go to My WishlistsDo you have a question about the book? Login to be able to add your own question.