【预订】Voice Unearthed: Hope, Help and a Wake-Up Call for the P
美国库房发货,通常付款后3-5周到货!
/ 2011-12-01
/ Holte
¥130.00
【预订】Konzept Der Transformationalen Fuhrung. Ein Vergleich Vo
美国库房发货,通常付款后3-5周到货!
/ 2015-07-15
¥169.00
【预订】Nicolaus Steno 9783662508503
美国库房发货,通常付款后3-5周到货!
/ 2016-08-23
Product Details 基本信息 ISBN-13 书号 9783662508503 Author 作者 Troels Kardel Holte Denmark Format 版本 平装-胶订 Pages Number 页数 739页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2016-08-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.5 cm Shipping Weight 商品重量 1175g Language 语种 英语 Book Contents 内容简介 This is by far the most exhaustive biography on Niels Stensen, anatomist, geologist and bishop, better known as ’Nicolaus Steno’. We learn about the scientist’s family and background in Lutheran Denmark, of his teachers at home and abroad, of his studies and travels in the Netherlands, Belgium, France, Italy, Austria, Hungary, Bohemia and Germany, of his many pioneering achievements in anatomy and geology, of his encounters with Swammerdam, Malpighi and with members of the newly established Royal Society of London and the Accademia del Cimento
¥1173
【预订】Logics of Specification Languages 9783642093456
国外库房发货,通常付款后3-5周到货!
/ 2010-11-22
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
【预订】Logics of Specification Languages 9783540741060
国外库房发货,通常付款后3-5周到货!
/ 2007-12-07
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