Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings (Lecture Notes in Computer Science) 1st edition by Wang, Farn published by Springer Paperback Available on AZBookFinder Hope it will help you. Some similar books on the website: Automated technology for verification and analysis: third international symposium, atva 2005, taipei, taiwan, october 4-7, 2005, proceedings (lecture notes ... / programming and software engineering); Cssn id scan - driver license scanner and portable reader; Automated technology for verification and analysis: second international conference, atva 2004, taipei, taiwan, roc, october 31 - november 3, 2004. proceedings (lecture notes in computer science) 1st edition by wang, farn published by springer paperback; Promotion taotronics tt-bs003 black usb automatic sensing and scan wired handheld laser barcode scanner with hands free adjustable stand bracket; Neatreceipts scanalizer professional 2.5 mobile scanner and software; Automated reasoning with analytic tableaux and related methods: international conference, tableaux 2005, koblenz, germany, september 14-17, 2005, proceedings ... / lecture notes in artificial intelligence). Tags: authors, source, price, goodreads, description, online, booklovers, isbn, isbn10.
Posted on: Fri, 30 Aug 2013 20:08:22 +0000
Trending Topics
Recently Viewed Topics
© 2015