automated technology for verification and analysis: third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings
Peled, D. A. (Author) · springer · Physical Book
£ 63.59
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.