{"publishers": ["Springer"], "languages": [{"key": "/l/eng"}], "source_records": ["amazon:0387240195:23:482585200:198781", "marc:marc_loc_updates/v36.i11.records.utf8:10819988:1447"], "title": "Taxonomies for the Development and Verification of Digital Systems", "contributions": ["Brian Bailey (Editor)", "Grant Martin (Editor)", "Thomas Anderson (Editor)"], "number_of_pages": 180, "created": {"type": "/type/datetime", "value": "2008-04-29T13:35:46.876380"}, "isbn_13": ["9780387240190"], "isbn_10": ["0387240195"], "publish_date": "April 12, 2005", "key": "/b/OL7444613M", "last_modified": {"type": "/type/datetime", "value": "2009-05-05T17:24:02.996262"}, "latest_revision": 2, "type": {"key": "/type/edition"}, "id": 10136443, "first_sentence": {"type": "/type/text", "value": "The word taxonomy comes from the Greek taxis, meaning arrangement or division, and nomos, meaning law."}, "revision": 2}