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 €

Beschreibung des Verlags

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
Computer und Internet
ERSCHIENEN
2010
9. Mai
SPRACHE
EN
Englisch
UMFANG
196
Seiten
VERLAG
Springer Berlin Heidelberg
ANBIETERINFO
Springer Science & Business Media LLC
GRÖSSE
1,9
 MB

Mehr ähnliche Bücher

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

Mehr Bücher von Peter Müller

Happy Birthday, Mac! Happy Birthday, Mac!
Happy Birthday, Mac!
2013
Baccara Exklusiv Band 154 Baccara Exklusiv Band 154
Baccara Exklusiv Band 154
2017
Java Java
Java
2018
Der Machtkampf Der Machtkampf
Der Machtkampf
2016
Baccara Collection Band 447 Baccara Collection Band 447
Baccara Collection Band 447
2022
Baccara Collection Band 491 Baccara Collection Band 491
Baccara Collection Band 491
2025