【预订】Computer Program Synthesis Methodologies 9789027715043 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789027715043 Author 作者 Biermann Format 版本 精装 Pages Number 页数 374页 Publication Date 出版日期 1982-12-31 Language 语种 英语 Book Contents 内容简介 powerful operations on them. An early step in this direction was the development of APl, and more recent examples have been SETl which enables a user to code in terms of mathematical enti? ties such as sets and BDl which allows a user, presumably a businessman, to specify a computation in terms of a series of tabular forms and a series of processing paths through which data flows. The design and implementation of such languages are examined in chapters by P. GOLDBERG. Another extension to traditional methods is made possible by systems designed to automatically handle low level flow-of? control decisions. All the above higher level languages do this implicitly with their built in operators. PROLOG is a language which does th
¥2434
【预订】Computer Program Synthesis Methodologies: Proceedings of 美国库房发货，通常付款后3-5周到货！
¥2434
海外直订Computer Program Synthesis Methodologies: Proceedings of
¥2067
预订 Computer Program Synthesis Methodologies: Proceedings of 【全球购】进口原版图书，一般5-8周左右到国内
¥2522
海外直订Computer Program Synthesis Methodologies: Proceedings of
¥2067
