Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- US$ 69,99
-
- US$ 69,99
Descrição da editora
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.
GÊNERO
Computadores e Internet
LANÇADO
2010
9 de maio
IDIOMA
EN
Inglês
PÁGINAS
196
EDITORA
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMANHO
1,9
MB