Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- 59,99 €
-
- 59,99 €
Descrizione dell’editore
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.
GENERE
Computer e internet
PUBBLICATO
2010
9 maggio
LINGUA
EN
Inglese
PAGINE
196
EDITORE
Springer Berlin Heidelberg
DIMENSIONE
1,9
MB
Altri libri di Peter Müller
Digiuno intermittente
2021
Unterrichtsentwurf zur Einführung des Standstoßes beim Kugelstoßen
2012
Brenda Jackson Edition Band 9
2024
Unterrichtsentwurf zur Einführung von Flagfootball
2012
Unterrichtsentwurf zum Thema Doping im Sport - mit sämtlichen Materialien
2012
Unterrichtsentwurf zur Einführung von Floorball / Unihockey
2012