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
Cavalcanti, Ana (EDT)
Sampaio, Augusto (EDT)
Woodcock, Jim (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2006年 12月
- ISBN：9783540462538
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：391 p.
- 分類： ソフトウェア工学
- DDC分類：005