{"subtitle": "the five-day verification strategy for modern hardware verification languages", "lc_classifications": ["TK7885.7 .J36 2004"], "latest_revision": 2, "id": 5209371, "source_records": ["marc:marc_records_scriblio_net/part14.dat:155462662:634", "marc:marc_loc_updates/v36.i10.records.utf8:19173871:742"], "title": "Verification plans", "languages": [{"key": "/l/eng"}], "subjects": ["Integrated circuits -- Verification"], "publish_country": "mau", "by_statement": "Peet James.", "type": {"key": "/type/edition"}, "revision": 2, "publishers": ["Kluwer Academic Publishers"], "last_modified": {"type": "/type/datetime", "value": "2009-05-05T11:51:42.520839"}, "key": "/b/OL3691294M", "authors": [{"key": "/a/OL1517983A"}], "publish_places": ["Boston"], "pagination": "xxii, 229 p. :", "created": {"type": "/type/datetime", "value": "2008-04-01T03:28:50.625462"}, "dewey_decimal_class": ["621.39/2"], "number_of_pages": 229, "lccn": ["2003061992"], "isbn_10": ["1402076193"], "publish_date": "2004"}