Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering

Advanced Lectures on Software Engineering

LASER Summer School 2007/2008

Peter Müller
    • 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
TAILLE
1,9
Mo

Plus de livres similaires

ECOOP 2010 – Object-Oriented Programming ECOOP 2010 – Object-Oriented Programming
ECOOP 2010 – Object-Oriented Programming
2010
Verified Software: Theories, Tools, Experiments Verified Software: Theories, Tools, Experiments
Verified Software: Theories, Tools, Experiments
2008
Runtime Verification Runtime Verification
Runtime Verification
2008
Implementation and Application of Functional Languages Implementation and Application of Functional Languages
Implementation and Application of Functional Languages
2011
Verified Software: Theories, Tools, and Experiments Verified Software: Theories, Tools, and Experiments
Verified Software: Theories, Tools, and Experiments
2016
Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
2011

Plus de livres par Peter Müller

Unterrichtsentwurf zur Einführung des Standstoßes beim Kugelstoßen Unterrichtsentwurf zur Einführung des Standstoßes beim Kugelstoßen
Unterrichtsentwurf zur Einführung des Standstoßes beim Kugelstoßen
2012
Brenda Jackson Edition Band 9 Brenda Jackson Edition Band 9
Brenda Jackson Edition Band 9
2024
Unterrichtsentwurf zur Einführung von Flagfootball Unterrichtsentwurf zur Einführung von Flagfootball
Unterrichtsentwurf zur Einführung von Flagfootball
2012
Unterrichtsentwurf zum Thema Doping im Sport - mit sämtlichen Materialien Unterrichtsentwurf zum Thema Doping im Sport - mit sämtlichen Materialien
Unterrichtsentwurf zum Thema Doping im Sport - mit sämtlichen Materialien
2012
Unterrichtsentwurf zur Einführung von Floorball / Unihockey Unterrichtsentwurf zur Einführung von Floorball / Unihockey
Unterrichtsentwurf zur Einführung von Floorball / Unihockey
2012
HANDBALL - Einübung und Festigung von zwei Angriffsformationen im Handballspiel - Schulsport HANDBALL - Einübung und Festigung von zwei Angriffsformationen im Handballspiel - Schulsport
HANDBALL - Einübung und Festigung von zwei Angriffsformationen im Handballspiel - Schulsport
2012