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 Collection Band 491 Baccara Collection Band 491
Baccara Collection Band 491
2025
Java Java
Java
2018
Baccara Exklusiv Band 264 Baccara Exklusiv Band 264
Baccara Exklusiv Band 264
2025
Baccara Collection Band 483 Baccara Collection Band 483
Baccara Collection Band 483
2025
Der Machtkampf Der Machtkampf
Der Machtkampf
2016