【预订】Program Development in Computational Logic 9783540221524 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540221524 Author 作者 Bruynooghe Format 版本 平装-胶订 Pages Number 页数 539页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-06-17 Language 语种 英语 Book Contents 内容简介 1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and transformation, but later it broadened its scope to logic-based program development in general, that is, program development in computational logic, and hence the title of this volume. The motivating force behind LOPSTR has been the belief that declarative paradigms such as logic programming are better suited to program development tasks than traditional non-declarative ones such as the imperative paradigm. Specication, synthesis, transformation or specialization, analysis, debugging and veri?cation can all be
¥608.00
预订 Program Development in Computational Logic: A Decade of R 【全球购】进口原版图书，一般5-8周左右到国内
¥653.00
海外直订Program Development in Computational Logic: A Decade of
¥553.00
Program Development in Computational Logic计算逻辑的程序开发：基于逻辑的程序开
¥616.50
