53
0
0
0
Engineering theories of software construction / edited by Tony Hoare, Manfred Broy and Ralf Steinbruggen
- 其他作者：
- 其他題名：
- NATO Science Series. Series 3, Computer and systems sciences ;
- 出版： Amsterdam : IOS Press c2001
- 叢書名： NATO Science Series. Series 3, Computer and systems sciences ;v. 180
- 主題： Software engineering , System design
- ISBN： 1586031724 (IOS Press : hbk.) :: NT$3747.00 、 9781586031725 (IOS Press : hbk.) 、 4274904350 (Ohmsha) 、 9784274904356 (Ohmsha)
- 一般註："Published in cooperation with NATO Scientific Affairs Division." "Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Construction, 25 July-6 August 2000, Marktoberdorf, Germany"--T.p. verso
- 書目註：Includes bibliographical references and index
-
讀者標籤：
- 系統號： 005127065 | 機讀編目格式
館藏資訊
This volume contains lectures presented at the 21st International Summer School on Engineering Theories of Software Construction (Marktoberdorf, Germany July/August 2000). Eleven contributions from professionals in industry and academia trace the path from the scientific foundations of programming theory through the development of toolsets and methods and on to practical application by working engineers. A sampling of topics includes unifying theories for logic programming, performance modeling using probabilistic process algebra, and extended static checking. The volume is not indexed. Annotation copyrighted by Book News, Inc., Portland, OR.
資料來源：
Google Book
延伸查詢
Google Books
Amazon