Logic based program synthesis and transformation(基于逻辑的程序综合与变换/会议录)|报价￥93.50|图书,进口原版,Computers & Internet 计算机与互联网,Computer Science 计算机科学,

品牌：

基本信息

·出版社：Springer; 1 edition

·页码：267 页码

·出版日：2002年

·ISBN：9783540439158

·条码：9783540439158

·装帧：平装

内容简介

在线阅读本书

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

点此购买报价￥93.50