预订 B 2007: Formal Specification and Development in B: 7th In 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
海外直订B 2007: Formal Specification and Development in B: 7th I
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】B 2007: Formal Specification and Development in B 978354 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540687603 Author 作者 Julliand Format 版本 平装-胶订 Pages Number 页数 297页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-12-14 Language 语种 英语 Book Contents 内容简介 TheseproceedingsrecordthepaperspresentedattheSeventhInternationalC- ference of B Users (B 2007), held in the city of Besan? con in the east of France. This conference was built on the success of the previous six conferences in this series, B 1996, held at the University of Nantes, France; B 1998, held at the University of Montpellier, France; ZB 2000, held at the University of York, UK; ZB 2002, held at the University of Grenoble, France; ZB 2003, held at the U- versity of Turku, Finland; ZB 2005 held at the University of Surrey, Guildford, UK. B 2007 was held in January at the University of Franche-Comt? e,Besan? con, France, hosted by the Computer Science Departme
¥520.00
【预订】Two Small Footprints in Wet Sand: A Mother's Memoir 美国库房发货,通常付款后3-5周到货!
¥195.00
使用B语言的形式说明与开发/formal specification and development in B
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
¥428.50定价:¥542.40 (7.91折)