Advanced Lectures on Software Engineering
| Author | : Peter Müller |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 194 |
| Release | : 2010-05-20 |
| ISBN-13 | : 9783642130090 |
| ISBN-10 | : 3642130097 |
| Rating | : 4/5 (97 Downloads) |
Book Synopsis Advanced Lectures on Software Engineering by : Peter Müller
Download or read book Advanced Lectures on Software Engineering written by Peter Müller and published by Springer Science & Business Media. This book was released on 2010-05-20 with total page 194 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
