分享给好友:
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering Peter Muller
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering
Peter Muller
Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.
196 pages, 99 black & white illustrations, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2010年5月20日 |
| ISBN13 | 9783642130090 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 189 |
| 商品尺寸 | 160 × 234 × 13 mm · 317 g |
| 编辑 | Muller, Peter |
Peter Muller的更多作品
显示全部Mere med samme udgiver
查看Peter Muller的全部作品 ( 例如 Paperback Book , Hardcover Book , Book 及 CD )