Empirical Software Engineering and Verification Image close
Empirical Software Engineering and Verification
Empirical Software Engineering and Verification
Show Hide Adult Content
Empirical Software Engineering and Verification close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Empirical Software Engineering and Verification

International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$169.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $42.50 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 23 Jul - 2 Aug using International Courier

Explore more Programming and Software Engineering

See all products in this series

Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems Save $31
$135.99
$167.95
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$146.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis
$138.99
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Construction and Evolution of Code Generators
$134.99
Construction and Evolution of Code Generators
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems Save $22
$134.99
$157.95
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
FM 2009: Formal Methods Save $38
$277.99
$316.95
FM 2009: Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
HCI and Usability for e-Inclusion
$270.99
HCI and Usability for e-Inclusion
Paperback / softback
Available - Usually ships in 3-4 weeks
Model and Data Engineering
$137.99
Model and Data Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$134.99
$135.95
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Composition
$134.99
$135.95
Software Composition
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$134.99
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods
$237.99
Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$133.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$135.99
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

Software engineering, is widely recognized as one of today's most exciting, stimulating, and profitable research areas, with a significant practical impact on the software industry and academia. The LASER school, held annually since 2004 on Elba Island, Italy, is intended for professionals from industry (engineers and managers) as well as university researchers, including PhD students. This book contains selected lecture notes from the LASER summer schools 2008-2010, which focused on concurrency and correctness in 2008, software testing in 2009, and empirical software engineering, in 2010.
Release date Australia
January 9th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Bertrand Meyer
  • Edited by Martin Nordio
Illustrations
VII, 213 p.
Pages
213
Dimensions
155x235x13
ISBN-13
9783642252303
Product ID
18995237

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Social & Legal Aspects >
Human-computer interaction
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Human-computer interaction >
Information architecture