Skip to main content

Save £20 | Limited-Time Offer. Get the code »

alibris logo

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

by

Write The First Customer Review
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Müller, Peter (Editor)
Filter Results
Item Condition
Seller Rating
Other Options
Change Currency
+ Add to Wishlist
Browse related Subjects
+ Browse All Subjects

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.

loading
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 2010, Springer, Berlin, Heidelberg

ISBN-13: 9783642130090

Trade paperback