{"publishers": ["Kluwer Academic"], "number_of_pages": 146, "isbn_10": ["0792386841"], "series": ["Advances in formal methods ;", "1"], "covers": [1501176], "lc_classifications": ["QA76.64 .S579 2000", "Q334-342"], "key": "/books/OL47327M", "authors": [{"key": "/authors/OL31069A"}], "publish_places": ["Boston"], "pagination": "xiii, 146 p. :", "source_records": ["marc:marc_records_scriblio_net/part28.dat:15460896:761", "marc:marc_loc_updates/v36.i10.records.utf8:11842976:964", "ia:objectzspecifica00smit", "marc:marc_loc_2016/BooksAll.2016.part28.utf8:14166401:964", "bwb:9780792386841", "promise:bwb_daily_pallets_2023-11-02:KT-086-009", "idb:9780792386841"], "title": "The Object-Z specification language", "dewey_decimal_class": ["005.1/17"], "notes": {"type": "/type/text", "value": "Includes bibliographical references and index."}, "identifiers": {"librarything": ["3021640"], "goodreads": ["5717203"]}, "languages": [{"key": "/languages/eng"}], "lccn": ["99047408"], "subjects": ["Object-oriented programming (Computer science)", "Z (Computer program language)"], "publish_date": "2000", "publish_country": "mau", "by_statement": "by Graeme Smith.", "works": [{"key": "/works/OL18356848W"}], "type": {"key": "/type/edition"}, "local_id": ["urn:bwbsku:KT-086-009"], "latest_revision": 12, "revision": 12, "created": {"type": "/type/datetime", "value": "2008-04-01T03:28:50.625462"}, "last_modified": {"type": "/type/datetime", "value": "2025-03-28T18:31:32.095788"}}