| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | e9c0062e-4ebe-494d-a737-218ee8bda990 |
| isbn | 0792393805 9780792393801 |
| issn | |
| language | eng |
| physical | xv, 194 pages :illustrations ;28 cm |
| publication | – publisher: Kluwer Academic dateOfPublication: ©1993 |
| publishDate | ©1993 |
| subjects | |
| title | Symbolic model checking / by Kenneth L. McMillan. |
| topic | Electronic digital computers Symbolic circuit analysis Logic design Logic design Symbolic circuit analysis ComputersDesign ElectronicCircuitsDesignData processing Electronic digital computersCircuitsDesignData processing LogicData processing Logic designData processing SymbolicData processing Symbolic circuit analysisData processing |