分享给好友:
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004 Recife, Brazil, November 23-december 5, 2004 Revised Lectures - Lecture Notes in Computer Science / Programming and Software Engineering Noble O. Fowler 第1 版本
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, Psse 2004 Recife, Brazil, November 23-december 5, 2004 Revised Lectures - Lecture Notes in Computer Science / Programming and Software Engineering
Noble O. Fowler
Presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004, held in Receife, Brazil in November/December 2004, jointly with the Brazilian Symposium on Formal Methods (SBMF 2004).
412 pages, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2006年9月27日 |
| ISBN13 | 9783540462538 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 412 |
| 商品尺寸 | 156 × 234 × 21 mm · 603 g |
| 语言 | 英语 |
| 编辑 | Cavalcanti, Ana |
| 编辑 | Sampaio, Augusto |
| 编辑 | Woodcock, Jim |