{"first_sentence": {"type": "/type/text", "value": "To be proficient in the design and verification of high integrity computer systems needs a catholic knowledge of the disciplines outlined in this section."}, "physical_format": "Paperback", "subtitle": "Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 (Lecture Notes in Computer Science)", "last_modified": {"type": "/type/datetime", "value": "2008-04-30 20:50:18.033121"}, "weight": "12.2 ounces", "languages": [{"key": "/l/eng"}], "publishers": ["Springer"], "number_of_pages": 229, "isbn_13": ["9783540503026"], "id": 16841724, "edition_name": "1 edition", "isbn_10": ["3540503021"], "publish_date": "October 17, 1988", "key": "/b/OL12775649M", "authors": [{"key": "/a/OL2681153A"}], "title": "Formal Techniques in Real-Time and Fault-Tolerant Systems", "type": {"key": "/type/edition"}, "subjects": ["Data Processing - General", "General", "Operating Systems - General", "Computers / Data Processing", "Computers / Programming / Systems Analysis & Design", "Computers : Operating Systems - General", "Medical : General", "Computers - General Information"], "physical_dimensions": "9.2 x 6.1 x 0.5 inches", "revision": 1}