Advanced Lectures on Software Engineering Advanced Lectures on Software Engineering

Advanced Lectures on Software Engineering

LASER Summer School 2007/2008

Peter Müller
    • $69.99
    • $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 como este

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

Más libros de Peter Müller

Jóskönyv Jóskönyv
Jóskönyv
2016
The Book of Changes, Troubles, Problems, Lightness, and Calm The Book of Changes, Troubles, Problems, Lightness, and Calm
The Book of Changes, Troubles, Problems, Lightness, and Calm
2025
Molly Molly
Molly
2025
Baccara Exklusiv Band 266 Baccara Exklusiv Band 266
Baccara Exklusiv Band 266
2025
Julia Herzensbrecher Band 64 Julia Herzensbrecher Band 64
Julia Herzensbrecher Band 64
2025
Baccara Collection Band 491 Baccara Collection Band 491
Baccara Collection Band 491
2025