Advanced Lectures on Software Engineering: LASER Summer School 2007/2008
発売日
: 2010年
著者／編集
: Peter Mller
出版社
: SPRINGER NATURE
価格
: 14,995
ISBN
: 9783642130090
This tuturial offers selected papers from the LASER summer Schools 2007 and 2008, covering verification of fine-grain concurrency and transactions, the SCOOP model, the Spec# programming and verification system, multi-core chip design and much more.
レビュー(0件)