Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- 69,99 US$
-
- 69,99 US$
Lời Giới Thiệu Của Nhà Xuất Bản
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.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2010
9 tháng 5
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
196
Trang
NHÀ XUẤT BẢN
Springer Berlin Heidelberg
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
1,9
Mb