この商品を友人に教える:
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 |