预订 Trait? Pratique Et Exp?rimental de Botaniqu... 9782013745
海外仓库发货,通常付款后4-9周到货!
/ 2018-02-28
图书信息 书号: 9782013745536 作者: Clavel-L-A 装帧: 平装-胶订 页数: 460页 出版社: Hachette Livre - BNF 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2018-02-28 重量: 454g 语种: 法语 内容简介 Traite pratique et experimental de botanique: histoire naturelle des plantes, arb
¥295.00
预订 高被引Knowledge and Rural Development: Dialogue at the Heart
【全球购】进口原版图书,约5-8周到达国内后发出
/ 2016-09-17
/ Springer
¥936.00
进入书之源外文图书
预订 All About Maude: A High-Performance Logical Framework: Ho
【全球购】进口原版图书,约5-8周到达国内后发出
/ 2007-07-20
/ Springer
¥817.00
进入书之源外文图书
【预订】Opinion Analysis In Interactions - From Data Mining To H
美国库房发货,通常付款后3-5周到货!
/ 2019-08-23
Product Details 基本信息 ISBN-13 书号 9781786304193 Author 作者 Chloe Clavel Format 版本 精装 Pages Number 页数 162页 Publisher 出版社 Wiley-ISTE Publication Date 出版日期 2019-08-23 Language 语种 英语
¥1632
预订Reflection in Rewriting Logic: Metalogical Foundations and
【全球购】进口原版图书,约5-8周到达国内后发出
2000-10-16
¥839.00
进入书之源外文图书
【预订】All About Maude - A High-Performance Logical Framework 9
国外库房发货,通常付款后3-5周到货!
/ 2007-07-20
Product Details 基本信息 ISBN-13 书号 9783540719403 Author 作者 Manuel Clavel Format 版本 平装-胶订 Pages Number 页数 802页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-07-20 Language 语种 英语 Book Contents 内容简介 This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and its many possible uses. Maude modules are rewrite theories. Computation with such modules is - cient deduction by rewriting. Because of its logical basis and its initial model semantics,aMaudemoduledenesaprecisemathematicalmodel.Thismeans that Maude and its formal tool environment can be used in three, mutually reinforcing ways: ? as a declarative programming language; ? as an executable formal speci?cation language; and ? as a formal veri?cation system. Maude’s rew
¥937.00
【预订】Les Races Humaines Et Leur Part Dans La Civilisation 978
美国库房发货,通常付款后3-5周到货!
/ 2010-01-01
¥267.00
预订 Knowledge and Rural Development 9789401791236
海外仓库发货,通常付款后4-9周到货!
/ 2014-07-07
图书信息 书号: 9789401791236 作者: Dani?le Clavel 装帧: 精装 页数: 67页 出版社: Editions Qu 尺寸: 0.9 x 0.6 x 0.0 cm 出版日期: 2014-07-07 重量: 1g 语种: 其它(含多语) 内容简介 Successive food, economic and environmental crises have prompted the world Agricult
¥1549
【预订】The History and Progress of the Electric Telegraph: With
美国库房发货,通常付款后3-5周到货!
/ 2010-03-15
¥220.00
按需印刷Opinion Analysis in Interactions:From Data Mining to Hum
预订,下单后3-4周发货!
/ 2019-08-16
/ ISTE Ltd
¥1805
【预订】de M.T. Cicerone Gr]corum Interprete: Accedunt Etiam Loc
美国库房发货,通常付款后3-5周到货!
/ 2010-03-29
¥259.00
预订Reflection in Rewriting Logic: Metalogical Foundations and
【全球购】进口原版图书,约5-8周到达国内后发出
2000-10-16
¥346.00
进入书之源外文图书