海外直订VDM '90. VDM and Z - Formal Methods in Software Developm
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订医药图书Perspectives of System Informatics: 4th Internationa
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Software Engineering 2: Specification of Systems and Lan
¥630.00
明星店铺 中华商务进口图书旗舰店
海外直订Look Where You Are Going Not Where You Have Been 看看你要去的地
¥191.00
明星店铺 中华商务进口图书旗舰店
【预订】A Hybrid Communications Network Simulation-Independent T 美国库房发货,通常付款后3-5周到货!
¥589.00
海外直订医药图书Reverse Shoulder Arthroplasty: A Practical Approach
¥1368
明星店铺 中华商务进口图书旗舰店
按需印刷The Lullaby 预订,预计下单后2-3周左右发货!
¥113.00
【预订】Software Engineering 1: Abstraction and Modelling Y97836 美国库房发货,通常付款后3-5周到货!
¥883.00
Perspectives of System Informatics系统信息学透视
¥242.00
预订 Software Engineering 2 9783642059407 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642059407 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 780页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2010-02-12 重量: 2g 语种: 其它(含多语) 内容简介 The art, craft, discipline, logic, practice and science of developing large-sc
¥1186
海外直订Logics of Specification Languages 规范语言的逻辑
¥1550
明星店铺 中华商务进口图书旗舰店
海外直订Formal Methods in Programming and Their Applications: In
¥553.00
明星店铺 中华商务进口图书旗舰店
预订 Domain Science and Engineering: A Foundation for Software 【全球购】进口原版图书,约5-8周到达国内后发出
¥1510
【预订】Domain Science and Engineering 9783030734831 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030734831 Author 作者 Dines Bj?rner Format 版本 精装 Pages Number 页数 410页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-22 Language 语种 其它(含多语) Book Contents 内容简介 In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements preions for computing systems from domain deions. A further motivation is to present domain deions, requirements preions, and software design specifications as mathematical quantities.The author’s maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand a rationally describable discre
¥1577
预订 Perspectives of System Informatics: Third International A 【全球购】进口原版图书,约5-8周到达国内后发出
¥1089
预订 Logics of Specification Languages [ISBN:9783642093456] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1935
预订 Marinetti Dines with the High Command 预订,预计下单后3-4周左右发货!
¥256.00
按需印刷New Suburban Stories 预订,预计下单后2-3周左右发货!
¥534.00
【预订】Domain Science and Engineering 9783030734862 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783030734862 Author 作者 Dines Bj?rner Format 版本 平装-胶订 Pages Number 页数 401页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-09 Language 语种 其它(含多语) Book Contents 内容简介 In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.The author’s maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to analyse and describe domains. By a domain we understand
¥1557
海外直订医药图书Perspectives of System Informatics: Second Internati
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Software Engineering 2: Specification of Systems and 美国库房发货,通常付款后3-5周到货!
¥520.00
预订 Software Engineering 2: Specification of Systems and Lang 【全球购】进口原版图书,约5-8周到达国内后发出
¥435.00
预订 Perspectives of System Informatics: 4th International And 【全球购】进口原版图书,约5-8周到达国内后发出
¥549.00
预订Signs in Use:An Introduction to Semiotics 预订,预计下单后3-4周左右发货!
¥791.00
预订 Drug Addiction Recovery: The Mindful Way 预订,预计下单后3-4周左右发货!
¥114.00
【预订】Time-Saver Standards for Landscape Architecture 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥2376.24
【预订】Perspectives of System Informatics: 4th 美国库房发货,通常付款后3-5周到货!
¥520.00
【预订】Key Skills for Professionals: How to Succeed in Professi 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥523.67
【预订】Time-Saver Standards for Landscape Architecture 美国库房发货,通常付款后3-5周到货!
¥1637
【预订】Dines Road 美国库房发货,通常付款后3-5周到货!
¥116.00
预订 Elbow Ulnar Collateral Ligament Injury: A Guide to Diagno 【全球购】进口原版图书,约5-8周到达国内后发出
¥1239
【预订】Health Promotion - Concepts And Practice 美国库房发货,通常付款后3-5周到货!
¥550.00
预订 Software Engineering 3: Domains, Requirements, and Softwa 【全球购】进口原版图书,约5-8周到达国内后发出
¥845.00
预订Super Self-Care:How to Find Lasting Freedom from Addiction 预订,预计下单后2-3周左右发货!
¥156.00
按需印刷The Highest Common Factor Of A System Of Polynomials In 预订,预计下单后2-3周左右发货!
¥160.00
海外直订Domain Science and Engineering: A Foundation for Softwar
¥1757
明星店铺 中华商务进口图书旗舰店
¥1682
明星店铺 中华商务进口图书旗舰店
【预订】Molecular Constants Mostly from Microwave, Molecular Bea 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783662491973 Author 作者 Christen, Dines Format 版本 精装 Pages Number 页数 398页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2017-04-15 Language 语种 英语 Book Contents 内容简介 High-resolution spectroscopic data of paramagnetic diatomic molecules are presented in data sheets. All relevant properties of a molecule and the corresponding parameters can be found concentrated under its sum formula: rotational and related constants, the dipole moments, barriers to internal rotation, hyperfine coupling parameters, or Zeeman data.
¥6775
【预订】Software Engineering 2: Specification of Systems and Lan 预订商品,按需印刷,需要1-3个月发货,非质量问题不接受退换货。
¥750.77
简捷图示场地施工细部手册 (美)尼古拉斯·T.丹斯(Nicholas. T.Dines),(美)凯尔·D.布朗(Kyle
¥28.00定价:¥28.00
海外直订Time-Saver Standards Site Construction Details Manual 节约
¥882.00
明星店铺 中华商务进口图书旗舰店
预订 Software Engineering 1: Abstraction and Modelling [ISBN:9 【全球购】进口原版图书,约5-8周到达国内后发出
¥845.00
【预订】Elbow Ulnar Collateral Ligament Injury: A Guide to Diagn 美国库房发货,通常付款后3-5周到货!
¥895.00
【预订】Elbow Ulnar Collateral Ligament Injury 9781489975393 美国库房发货,通常付款后3-5周到货!
¥1033
按需印刷The Last Weekend 预订,预计下单后2-3周左右发货!
¥209.00
海外直订Software Engineering 1: Abstraction and Modelling 软件工程1:
¥943.00
明星店铺 中华商务进口图书旗舰店
海外直订The Aesthetic of Our Anger 我们愤怒的审美
¥209.00
明星店铺 中华商务进口图书旗舰店
海外直订Software Engineering 3: Domains, Requirements, and Softw
¥961.00
明星店铺 中华商务进口图书旗舰店
【预订】Logics of Specification Languages 9783642093456 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642093456 Author 作者 Dines Bj?rner Holte Denmark Format 版本 平装-胶订 Pages Number 页数 624页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-22 Shipping Weight 商品重量 979g Language 语种 英语 Book Contents 内容简介 By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B
¥1502
海外直订Domain Science and Engineering: A Foundation for Softwar
¥1649
明星店铺 中华商务进口图书旗舰店
预订 Elbow Ulnar Collateral Ligament Injury: A Guide to Diagno 【全球购】进口原版图书,约5-8周到达国内后发出
¥1049
【预订】Tips and Techniques in Elbow Surgery 9783031080791 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783031080791 Author 作者 Dines Format 版本 精装 Pages Number 页数 437页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-08-20 Language 语种 其它(含多语) Book Contents 内容简介 Bringing together the top elbow surgeons from around the world, this contemporary, up-to-date text presents surgical tips and techniques for the most common elbow procedures. Because authorship will be limited to leaders in the field, the emphasis will be on practical tips and techniques that can readily be implemented in the clinical and surgical environment. This text covers approximately 50 of the most common elbow surgical procedures, which are further subdivided into the following five categories: Trauma, Degenerative, Arthroscopy, Sports, and Neurologic. The focus of each chapter is on describing the precise clinical and surgical techniques used by the e
¥1457
【预订】Logics of Specification Languages 9783540741060 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540741060 Author 作者 Dines Bj?rner Holte Denmark Format 版本 精装 Pages Number 页数 624页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-07 Shipping Weight 商品重量 1136g Language 语种 英语 Book Contents 内容简介 By a specification language we understand a formal system of syntax, semantics and proof rules. The syntax and semantics define a language; the proof rules define a proof system. Specifications are expressions in the language, and reasoning over properties of these specifications is done within the proof system. This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: the use of ASM (Abstract State Machines) in the classroom; the Event-B modell
¥1502
预订 Software Engineering 1 9783642059391 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642059391 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 714页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2010-02-12 重量: 2g 语种: 其它(含多语) 内容简介 The art, craft, discipline, logic, practice, and science of developing large-s
¥1183
【预订】Time-Saver Standards Site Construction Details Manual 美国库房发货,通常付款后3-5周到货!
¥739.00
预订 Software Engineering 3 9783642059414 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642059414 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 768页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.2 cm 出版日期: 2010-02-12 重量: 2g 语种: 其它(含多语) 内容简介 The art, craft, discipline, logic, practice, and science of developing large-s
¥1387
预订 Perspectives of System Informatics 9783540430759 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540430759 作者: Dines Bj?rner 装帧: 平装-胶订 页数: 550页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2001-12-14 重量: 2g 语种: 其它(含多语) 内容简介 This book constitutes the thoroughly refereed post-proceedings of the 4th Inter
¥1366
预订 Logics of Specification Languages 9783540741060 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540741060 作者: Dines Bj?rner 装帧: 精装 页数: 623页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2007-12-01 重量: 1362g 语种: 其它(含多语) 内容简介 This book presents comprehensive studies on nine specification languages and the
¥2449
[预定]Sports Medicine of Baseball 海外预定商品,预计60-90天发货,非质量问题不支持退货
¥2674.9
海外直订Software Engineering 1: Abstraction and Modelling 软件工程1:
¥961.00
明星店铺 中华商务进口图书旗舰店