Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- 69,99 $
-
- 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
9 мая
ЯЗЫК
EN
английский
ОБЪЕМ
196
стр.
ИЗДАТЕЛЬ
Springer Berlin Heidelberg
ПРОДАВЕЦ
Springer Nature B.V.
РАЗМЕР
1,9
МБ