Scalable Techniques for Formal Verification
Language: English Publication details: Springer eBooks 2010ISBN: 9781441959980Online resources: Click here to access onlineItem type | Current library | Collection | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
eBooks | Central Library, PSG Institute of Technology and Applied Research | Mechanical | Available | EB371 |
There are no comments on this title.