标题：    amp；amp；阿提特：计算机科学中的形式化方法   amp；amp；最近：王   amp；amp；日期：2020   amp；amp；数字对象标识：10.1201/9780429184185   amp；amp；体裁：书   amp；amp；身份证件：7051302   amp；amp；isbn：{“类型”：“hbk”，“数字”：“978-0-367-22570-4”}；{“类型”：“pbk”，“数字”：“978-1-4987-7532-8”}；{“类型”：“电子书”，“数字”：“978-0-429-18418-5”}   amp；amp；页：xvii，294；第页。   amp；amp；搅拌棒：文本b。数学。   amp；amp；标题：数学教科书   sid：FIZ-Karlsruhe:zbMATH公司

× Entschuldigung公司：Wir konnten Sie leider nicht automatisch einer书目/Einrichtung zuordnen。
Bitte verwenden Sie das nachstehende Suchformular order die Karte，um Ihre Heimateinrichtung auszuwählen。