Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- US$69.99
-
- US$69.99
출판사 설명
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.
장르
컴퓨터 및 인터넷
출시일
2010년
5월 9일
언어
EN
영어
길이
196
페이지
출판사
Springer Berlin Heidelberg
판매자
Springer Nature B.V.
크기
1.9
MB