Country:Click on a flag to display only products sold in that country.Click on a flag to display only products sold in that country.
Make SHOP your homepage
Share:
Email a Friend
Google Plus
Post on facebook
SHOP.COM helps you Shop Smart and Save Big by helping you compare prices across your favorite online stores!
Free Shipping Every Day!
Sorry, no image available

Advanced Lectures on Software Engineering: Laser Summer School 2007/2008

Item  9783642130090N
Price  $70.20
Advanced Lectures on Software EngineeringSoftware defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by so...
This product is not available
Similar Items You May Like
Empirical Software Engineering and Verification : International Summer Schools Laser 2008-2010 elba Island Italy revised Tutorial Lectures
$61.33 - $72.00
up to $1.44 Cashback
3 Stores
0 reviews

Empirical Software Engineering and Verification : International Summer Schools Laser 2008-2010 elba Island Italy revised Tutorial Lectures
$61.33 - $72.00
up to $1.44 Cashback
edited by Meyer, Bertrand, et al - Paperback (Springer-Verlag New York Inc; Feb 17, 2012)
3 Stores
Add to Trend
Add to List
Set Price Alert
Generative and Transformational Techniques in Sof...
Generative and Transformational Techniques in Software Engineering III : International Summer School Gttse 2009 Braga Portugal July 6-11 2009 Revised Papers
$79.51
$1.59 Cashback
Barnes & Noble
0 reviews

Generative and Transformational Techniques in Software Engineering III : International Summer School Gttse 2009 Braga Portugal July 6-11 2009 Revised Papers
$79.51
$1.59 Cashback
edited by Fernandes, J. m., et al - Paperback (Springer-Verlag New York Inc; Mar 9, 2011)
Barnes & Noble
Add to Trend
Add to List
Set Price Alert
Formal Methods for Quantitative Aspects of Progra...
Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer Communication and Software Systems Sfm 2010 Bertinoro Italy June 21-26 2010 Advanced Lectures
$70.20
$1.40 Cashback
eCampus
0 reviews

Formal Methods for Quantitative Aspects of Programming Languages : 10th International School on Formal Methods for the Design of Computer Communication and Software Systems Sfm 2010 Bertinoro Italy June 21-26 2010 Advanced Lectures
$70.20
$1.40 Cashback
edited by Aldini, Alessandro, et al - Paperback (Springer-Verlag New York Inc; Jul 5, 2010)
eCampus
Add to Trend
Add to List
Set Price Alert
Formal Methods for Eternal Networked Software Sys...
Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2011 Bertinoro Italy June 13-18 2011 Advanced Lectures
$107.00Sale $100.20
$2.00 Cashback
Barnes & Noble
0 reviews

Formal Methods for Eternal Networked Software Systems : 11th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2011 Bertinoro Italy June 13-18 2011 Advanced Lectures
$107.00Sale $100.20
$2.00 Cashback
edited by Bernardo, Marco, et al - Paperback (Springer-Verlag New York Inc; Jul 20, 2011)
Barnes & Noble
Add to Trend
Add to List
Set Price Alert
Formal Methods for Components and Objects : 8th International Symposium Fmco 2009 Eindhoven the Netherlands November 4-6 2009. Revised Selected Papers
$73.78 - $80.93
up to $1.62 Cashback
4 Stores
0 reviews

Formal Methods for Components and Objects : 8th International Symposium Fmco 2009 Eindhoven the Netherlands November 4-6 2009. Revised Selected Papers
$73.78 - $80.93
up to $1.62 Cashback
edited by Bonsangue, Marcello M., et al - Paperback (Springer-Verlag New York Inc; Mar 9, 2011)
4 Stores
Add to Trend
Add to List
Set Price Alert

||||
Store Info
 
Product Info
Advanced Lectures on Software Engineering: Laser Summer School 2007/2008

Advanced Lectures on Software Engineering

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners.

This tutorial contains selected papers from the LASER summer Schools 2007 and 2008, both of which focused on correctness - Applied Software Verification in 2007 and Concurrency and Correctness in 2008. Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

General

ISBN 9783642130090


Fiction/Non-Fiction Non-Fiction


Publisher Springer-Verlag New York Inc


Pages 187


List Price $72.00


Publication Date 06/09/2010


Release Status In Print


Format Paperback


Language English


Measurements Height: 9.5 Inches (US)
Width: 6.25 Inches (US)
Thickness: 0.5 Inches (US)
Unit Weight: 0.7 Pounds (US)


Series Lecture Notes in Computer Science


Editor Muller, Peter
More Similar Items You Might Like
Static Analysis : 17th International Symposium, S...
Static Analysis : 17th International Symposium Sas 2010 Perpignan France September 14-16 2010 Proceedings
$92.63
$1.85 Cashback
eCampus
0 reviews

Static Analysis : 17th International Symposium Sas 2010 Perpignan France September 14-16 2010 Proceedings
$92.63
$1.85 Cashback
edited by Cousot, Rodhia, et al - Paperback (Springer-Verlag New York Inc; Nov 26, 2010)
eCampus
Add to Trend
Add to List
Set Price Alert
Verified Software : Theories, Tools, Experiments:...
Verified Software : Theories Tools Experiments: Third International Conference Vstte 2010 Edinburgh Uk August 16-19 2010 Proceedings
$70.20
$1.40 Cashback
eCampus
0 reviews

Verified Software : Theories Tools Experiments: Third International Conference Vstte 2010 Edinburgh Uk August 16-19 2010 Proceedings
$70.20
$1.40 Cashback
edited by Leavens, Gary T., et al - Paperback (Springer-Verlag New York Inc; Aug 30, 2010)
eCampus
Add to Trend
Add to List
Set Price Alert
Model Driven Engineering Languages and Systems : 13th International Conference Models 2010 Oslo Norway October 3-8 2010 Proceedings Part I
$91.20Sale $91.20 - $92.63
up to $1.85 Cashback
2 Stores
0 reviews

Model Driven Engineering Languages and Systems : 13th International Conference Models 2010 Oslo Norway October 3-8 2010 Proceedings Part I
$91.20Sale $91.20 - $92.63
up to $1.85 Cashback
edited by Haugen, ?stein, et al - Paperback (Springer-Verlag New York Inc; Oct 17, 2010)
2 Stores
Add to Trend
Add to List
Set Price Alert
Automated Technology for Verification and Analysis : 8th International Symposium Atva 2010 Singapore September 21-24 2010 Proceedings
$91.20Sale $91.20 - $92.63
up to $1.85 Cashback
2 Stores
0 reviews

Automated Technology for Verification and Analysis : 8th International Symposium Atva 2010 Singapore September 21-24 2010 Proceedings
$91.20Sale $91.20 - $92.63
up to $1.85 Cashback
edited by Bouajjani, Ahmed, et al - Paperback (Springer-Verlag New York Inc; Oct 12, 2010)
2 Stores
Add to Trend
Add to List
Set Price Alert
Service-oriented Computing. Icsoc/Servicewave 2009 Workshops : International Workshops Icsoc/Servicewave 2009 Stockholm Sweden November 23-27 2009 Revised Selected Papers
$116.03 - $119.00
up to $2.38 Cashback
2 Stores
0 reviews

Service-oriented Computing. Icsoc/Servicewave 2009 Workshops : International Workshops Icsoc/Servicewave 2009 Stockholm Sweden November 23-27 2009 Revised Selected Papers
$116.03 - $119.00
up to $2.38 Cashback
edited by Dan, Asit, et al - Paperback (Springer-Verlag New York Inc; Oct 11, 2010)
2 Stores
Add to Trend
Add to List
Set Price Alert

Software Architecture : 4th European Conference ,...
Software Architecture : 4th European Conference Ecsa 2010 Copenhagen Denmark August 23-26 2010 Proceedings
$104.33
$2.09 Cashback
eCampus
0 reviews

Software Architecture : 4th European Conference Ecsa 2010 Copenhagen Denmark August 23-26 2010 Proceedings
$104.33
$2.09 Cashback
edited by Babar, M. Ali, et al - Paperback (Springer-Verlag New York Inc; Sep 13, 2010)
eCampus
Add to Trend
Add to List
Set Price Alert
Integrated Formal Methods : 8th International Con...
Integrated Formal Methods : 8th International Conference Ifm 2010 Nancy France October 11-14 2010 Proceedings
$72.69
$1.45 Cashback
Barnes & Noble
0 reviews

Integrated Formal Methods : 8th International Conference Ifm 2010 Nancy France October 11-14 2010 Proceedings
$72.69
$1.45 Cashback
edited by Mery, Dominique, et al - Paperback (Springer-Verlag New York Inc; Oct 15, 2011)
Barnes & Noble
Add to Trend
Add to List
Set Price Alert
Computer Performance Engineering : 7th European Performance Engineering Workshop Epew 2010 Bertinoro Italy September 23-24 2010 Proceedings
$69.12Sale $69.12 - $70.20
up to $1.40 Cashback
2 Stores
0 reviews

Computer Performance Engineering : 7th European Performance Engineering Workshop Epew 2010 Bertinoro Italy September 23-24 2010 Proceedings
$69.12Sale $69.12 - $70.20
up to $1.40 Cashback
edited by Aldini, Alessandro, et al - Paperback (Springer-Verlag New York Inc; Oct 14, 2010)
2 Stores
Add to Trend
Add to List
Set Price Alert
Reasoning Web : Semantic Technologies for Softwar...
Reasoning Web : Semantic Technologies for Software Engineering: 6th International Summer School 2010 Dresden Germany August 30 - September 3 2010 Tutorial Lectures
$70.20
$1.40 Cashback
eCampus
0 reviews

Reasoning Web : Semantic Technologies for Software Engineering: 6th International Summer School 2010 Dresden Germany August 30 - September 3 2010 Tutorial Lectures
$70.20
$1.40 Cashback
edited by A_mann, Uwe, et al - Paperback (Springer-Verlag New York Inc; Sep 13, 2010)
eCampus
Add to Trend
Add to List
Set Price Alert
Advanced Information Systems Engineering : 22nd International Conference Caise 2010 Hammamet Tunisia June 7-9 2010 Proceedings
$79.13 - $104.33
up to $2.09 Cashback
2 Stores
0 reviews

Advanced Information Systems Engineering : 22nd International Conference Caise 2010 Hammamet Tunisia June 7-9 2010 Proceedings
$79.13 - $104.33
up to $2.09 Cashback
edited by Pernici, Barbara - Paperback (Springer-Verlag New York Inc; Jun 22, 2010)
2 Stores
Add to Trend
Add to List
Set Price Alert

Advanced Lectures on Software Engineering: Laser Summer School 2007/2008

Reviews are not available for this product.
 
Product information and prices are provided by merchants and/or third party sources. At SHOP.COM we do everything we can to ensure the accuracy of the product information or prices displayed, but occasionally, errors occur. Please notify SHOP.COM of any information or pricing inaccuracies so that we may immediately notify the merchants to correct the problem. We apologize for any inconvenience this may cause.