High Quality Test Pattern Generation and Boolean Satisfiability

Simple item page
dc.contributor.authorDrechsler, Rolf
dc.date.accessioned2019-08-14T06:31:22Z
dc.date.accessioned2024-04-22T11:20:55Z
dc.date.available2019-08-14T06:31:22Z
dc.date.available2024-04-22T11:20:55Z
dc.date.issued2012
dc.identifier.isbn978-1-4419-9976-4
dc.identifier.urihttps://drs.ess.gov.et/handle/12345678/78303
dc.language.isoenen_US
dc.publisherSpringer Scienceen_US
dc.subjectSatisfiabilityen_US
dc.titleHigh Quality Test Pattern Generation and Boolean Satisfiabilityen_US
dc.typeBooken_US

Files

Original bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
pdf.21
Size:
2.95 MB
Format:
Unknown data format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Plain Text
Description:
Download

Collections

Information Technology
@ ETHIOPIAN STATISTICAL SERVICE 2024