预订 高被引Homology of Cell Complexes [ISBN:9780691649818] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1202
海外直订Constructing Correct Software 构建正确的软件
¥585.00
海外直订Scunthorpe's Industries 斯肯索普工业公司
¥176.00
海外直订Question of History: Did Romans really eat flami... 历史问题
¥129.00
¥96.00
海外直订What Are Animal Rights For? 动物权利是为了什么?
¥132.00
海外直订Question of History: Why were Maya games so dead... 历史问题
¥128.00
海外直订Question of History: Why did the ancient Greeks ... 历史问题
¥129.00
英文原版 The Unexpected Truth About Animals 树懒是节能,不是懒! 出人意料的动物真相
¥88.00
预订 British Locomotives: Their History, Construction, and Mod 【全球购】进口原版图书,约5-8周到达国内后发出
¥448.00
预订 Geomorphology in Deserts [ISBN:9780520369092] 【全球购】进口原版图书,约5-8周到达国内后发出
¥757.00
海外直订Question of History: Why did the ancient Greeks ... 历史问题
¥192.00
【中商原版】漫画 蝙蝠侠:自我与内心 Batman: Ego and Other Tails 英文原版 平装
¥81.00
海外直订Question of History: What happened to the pharao... 历史问题
¥129.00
【预售】【翰德图书】北极的闹鬼 A Haunting in the Arctic 英文原版文学小说 预售图书大约10-12周发货
¥100.25
Full, Full, Full of Love 英文原版 满满的 满满的 满满的爱 英文版 进口英语原版书籍
¥38.00
明星店铺 华研外语旗舰店
培训医生 医学院与住院医师的改革呼唤 Educating Physicians 英文原版 医学参考书MollyCooke
¥381.00
千变万化的供应链 供求关系的十个动态 Protean Supply Chains 英文原版 JamesCooke
¥147.00
预订 数学史简明课程 第3版 The History Of Mathematics: A Brief Course, T 【全球购】进口原版图书,3-5周左右到国内
¥1999
胖尾分布 数据、诊断与依赖 Fat-Tailed Distributions: Data, Diagnostics An 概率论与数理统计RogerCooke
¥399.00
【预售】【翰德图书】附件解决方案 The Attachment Solution 英文原版心灵励志 预售图书大约10-12周发货
¥139.25
【预售】【翰德图书】DC:新的边际:豪华版(新版) DC: The New Frontier: The Deluxe E 预售图书10-12周左右发货
¥323.00
组建你的企业 时机与方法 Incorporate Your Business: When To Do It And Ho 小本生意与创业RobertCooke
¥60.00
现货 Mathematical Analysis II 进口原版,现货速发
¥658.00
现货 数学分析1 Mathematical Analysis I [ISBN:9783662569559] 进口原版,现货速发
¥459.00
【中商原版】漫画 蝙蝠侠:元年 Batman Year One 英文原版 平装 Cooke, Darwyn
¥68.00
实践施工 Construction Practice 英文原版 Brian Cooke Wiley 土木工程与施工设计BrianCooke
¥130.00
【预订】Alistair Cooke's America 美国库房发货,通常付款后3-5周到货!
¥351.00
建设项目管理 Management Of Construction Projects 英文原版 Brian Cooke 土木工程与施工设计BrianCooke
¥146.00
【中商原版】淡水幼鱼 多样性 生物学与保育 Centrarchid Fishes Diversity Biology 英
¥2436
海外直订The Hotel Marcel Dining Club: By Invitation Only 马塞尔酒店餐饮
¥333.00
海外直订Dark Nebulae, Dark Lanes, and Dust Belts 暗星云、暗道和尘埃带
¥412.00
预订 Doing Business Tax-Free: Perfectly Legal Techniques to Re 【全球购】进口原版图书,约3~6周左右到国内后发出
¥197.00
海外直订Great Singers on the Art of Singing 歌唱艺术的优秀歌手
¥119.00
预订 Astronomy: A Comprehensive Study [ISBN:9781635490336] 【全球购】进口原版图书,约5-8周到达国内后发出
¥1270
预订 Everything You Want to Know about Agile: How to get Agile 【全球购】进口原版图书,约5-8周到达国内后发出
¥352.00
预订 Fungi - Their Nature, Influence, and Uses [ISBN:978140670 【全球购】进口原版图书,约5-8周到达国内后发出
¥272.00
【预订】Constructing Correct Software 9781852338206 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781852338206 Author 作者 Cooke Format 版本 平装-胶订 Pages Number 页数 509页 Publisher 出版社 Springer London Publication Date 出版日期 2004-11-08 Language 语种 英语 Book Contents 内容简介 Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on teaching material used extensively at Loughborough University, John Cooke introduces the bas
¥520.00
【预订】The Bankrupt Laws. Volume 2 of 2 美国库房发货,通常付款后3-5周到货!
¥387.00
【预订】European Construction: Procedures and Techniques 美国库房发货,通常付款后3-5周到货!
¥400.00
【预订】Contract Planning Case Studies 美国库房发货,通常付款后3-5周到货!
¥399.00
【预订】Voyage Charters 9780415833608 美国库房发货,通常付款后3-5周到货!
¥7125
【预订】Economics and Construction 美国库房发货,通常付款后3-5周到货!
¥398.00
预订 The Mathematics of Sonya Kovalevskaya [ISBN:9781461297666 【全球购】进口原版图书,约5-8周到达国内后发出
¥1038
预订 The Role of Art and Culture for Regional and Urban Resili 【全球购】进口原版图书,约5-8周到达国内后发出
¥1636
【预订】The Cambridge Companion to Twentieth-Century Opera 97805 美国库房发货,通常付款后3-5周到货!
¥440.00
¥428.00
【预订】Homology of Cell Complexes 美国库房发货,通常付款后3-5周到货!
¥301.00
【预订】Style in British Television Drama 美国库房发货,通常付款后3-5周到货!
¥522.00
【预订】Ralph Waldo Emerson: His Life, Writings, and Philosophy 美国库房发货,通常付款后3-5周到货!
¥367.00
【预订】Success with Mathematics 美国库房发货,通常付款后3-5周到货!
¥351.00
【预订】The Bankrupt Laws. Volume 1 of 2 美国库房发货,通常付款后3-5周到货!
¥453.00
预订 Microbiology: Concepts and Applications [ISBN:97816411600 【全球购】进口原版图书,约5-8周到达国内后发出
¥1445
海外直订Hiding in a Haunted Hallway 躲在闹鬼的走廊里
¥98.00
海外直订Colonel Ross of Piedmont 皮埃蒙特的罗斯上校
¥298.00
海外直订Elements of Chemical Physics 化学物理要素
¥488.00
海外直订Boundary Trouble in American Vanguard Art, 1920-2020: Vo
¥706.00
【预订】Automata Old and New 9781016485913 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9781016485913 Author 作者 Cooke Format 版本 平装-胶订 Pages Number 页数 134页 Publisher 出版社 Legare Street Press Publication Date 出版日期 2022-10-27 Product Dimensions 商品尺寸 9.21 x 6.14 x 0.29 Shipping Weight 商品重量 0.44磅 Language 语种 其它(含多语)
¥248.00
¥321.00
海外直订医药图书A Treatise on Diseases of the Rectum and Anus 直肠和肛门疾
¥468.00