Advanced Lectures on Software Engineering
LASER Summer School 2007/2008
-
- USD 69.99
-
- USD 69.99
Descripción editorial
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
Informática e Internet
PUBLICADO
2010
9 de mayo
IDIOMA
EN
Inglés
EXTENSIÓN
196
Páginas
EDITORIAL
Springer Berlin Heidelberg
VENDEDOR
Springer Nature B.V.
TAMAÑO
1.9
MB
Más libros de Peter Müller
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
HANDBALL - Einübung und Festigung von zwei Angriffsformationen im Handballspiel - Schulsport
2012