Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers / edited by Sharon Barner...[et.al]
Contributor(s): Barner, Sharon [edt.] | HVC 2010 (6th : 2010 : Haifa, Israel).
Material type: TextSeries: Lecture Notes in Computer Science, 6504. Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: 1 online resource.ISBN: 9783642195839.Subject(s): Computer science | Software engineering | Logic designOnline resources: Click here to access onlineItem type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
National Library of India | Available | NLI-EBK000001550ENG |