Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- 59,99 €
-
- 59,99 €
Description de l’éditeur
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.
GENRE
Informatique et Internet
SORTIE
2010
9 mai
LANGUE
EN
Anglais
LONGUEUR
196
Pages
ÉDITIONS
Springer Berlin Heidelberg
DÉTAILS DU FOURNISSEUR
Springer Science & Business Media LLC
TAILLE
1,9
Mo