{"first_sentence": {"type": "/type/text", "value": "Embedded systems are intrinsically heterogeneous since they are based on processors that see the world digitally and an environment that is analog."}, "physical_format": "Paperback", "subtitle": "Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science)", "weight": "1.2 pounds", "languages": [{"key": "/l/eng"}], "type": {"key": "/type/edition"}, "publishers": ["Springer"], "number_of_pages": 373, "isbn_13": ["9783540229421"], "id": 12252345, "edition_name": "1 edition", "isbn_10": ["3540229426"], "publish_date": "November 23, 2004", "key": "/b/OL9054947M", "last_modified": {"type": "/type/datetime", "value": "2008-04-30 09:38:13.731961"}, "title": "Formal Methods for Components and Objects", "contributions": ["Frank S. de Boer (Editor)", "Marcello M. Bonsangue (Editor)", "Susanne Graf (Editor)", "Willem-Paul de Roever (Editor)"], "subjects": ["Computing and Information Technology", "Miscellaneous Software", "Computers", "Component software", "Programming - Software Development", "Computers - Languages / Programming", "Logic Design", "Computer Books: Languages", "Formal methods (Computer science)", "Computer Science", "Computers / Programming / Software Development", "Object-oriented programming (Computer science)", "Programming Languages - General", "Congresses"], "physical_dimensions": "9.2 x 6.1 x 0.9 inches", "revision": 1}