{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2023,1,8]]，“日期-时间”：“2023-01-08T19:28:26Z”，“时间戳”：1673206106057}，“出版商位置”：“柏林，海德堡”，“引用-计数”：0，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540573166”，“类型”：“打印”}，{“值”：“9783540480563”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1993,1]]，“date-time”：“1993-01-01T00:00:00Z”，“timestamp”：725846400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“short-container-title”：[]，“published-print”：{“date-parts”：[1993]]}，“DOI”：“10.1007\/bfb0039695”，“type”：“book”，“created”：{“date-parts”：[[2006,1,25]]，“date-time”：“2006-01-25T09:17:03Z”，“timestamp”：1138180623000}，”source“：”Crossref“，”is-referenced-by-count“：4，”title“：[”编程中的形式方法及其应用程序“]，”前缀“：”10.1007“，“member”：“297”，“container-title”：[“计算机科学课堂讲稿”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/BFb0039695.pdf”，“content-type”：“application\/pdf”、“content-version”：“vor”、“intended-application”：“text-mining”}，{“URL”：“http:\/\/link.springer.com\/content\/pdf\/10007\/BFBb0039695”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2020,1,8]]，“date-time”：“2020-01-08T14:45:33Z”，“timestamp”：1578494733000}，“score”：1，“resource”：{primary“URL”：“http://link.springer.com/10.1007\/BFBb0039695”}}，”subtittle“：[“俄罗斯新西伯利亚科学院国际会议2013年6月28日\u 1993年7月2日会议记录”]，“编辑”：[{“给定”：“就餐”，“家庭”：“Bj\u00f8rner”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“曼弗雷德”，“家族”：“布罗伊”，“顺序”：“附加”，“附属关系”：[]}“：[]}]，“short-title”：[]，“issued”：{“date-parts”：[[1993]]}，“ISBN”：[“9783540573166”，“97835480563”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10.1007\/bfb0039695”，“relation”：{}，，{“值”：“1611-3349”，“类型”：“电子”}]，“主题”：[]，“发布”：{“日期部分”：[[1993]]}}}