Stock image for illustration purposes only - book cover, edition or condition may vary.
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008: 6029 (Lecture Notes in Computer Science, 6029)
Peter . Ed(S): Muller
€ 66.32
FREE Delivery in Ireland
Description for Advanced Lectures on Software Engineering: LASER Summer School 2007/2008: 6029 (Lecture Notes in Computer Science, 6029)
paperback. 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. Editor(s): Muller, Peter. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 189 pages, 99 black & white illustrations, biography. BIC Classification: UKN; UKR; UMB; UMX; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 160 x 13. Weight in Grams: 318.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer Germany
Number of pages
189
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
189
Place of Publication
Berlin, Germany
ISBN
9783642130090
SKU
V9783642130090
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-3
Reviews for Advanced Lectures on Software Engineering: LASER Summer School 2007/2008: 6029 (Lecture Notes in Computer Science, 6029)