【预订】Refinement Techniques in Software Engineering 9783540462 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540462538 Author 作者 Cavalcanti Format 版本 平装-胶订 Pages Number 页数 396页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-27 Language 语种 英语 Book Contents 内容简介 The Pernambuco School on Software Engineering (PSSE) 2004 was the rst in a series of events devoted to the study of advanced computer science and to the promotion of international scienti?c collaboration. The main theme in 2004 was re?nement (or rei?cation). Re?nement describes the veri?able relationship between a speci?cation and its implementation; it also describes the process of discoveringappropriateimplementations,givena speci?cation.Thus,in oneway or another, re?nement is at the heart of the programming process, and so is the major daily activity of everyprofessionalsoftwareengineer. The Summer School and its proceedings were intended to give a detailed tut
¥608.00
海外直订Refinement Techniques in Software Engineering: First Per
¥553.00
【3-6周达】Refinement Techniques in Software Engineering: First 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
软件工程中的求精技术/Refinement techniques in software engineering
¥446.40定价：¥565.00 (7.91折)
