Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering - Peter Muller - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642130090 - May 20, 2010
In case cover and title do not match, the title is correct

Peter Muller
Advanced Lectures on Software Engineering: LASER Summer School 2007/2008 - Programming and Software Engineering

Get an email once the item is available
Do you have a profile? Log in

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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.

196 pages, 99 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released May 20, 2010
ISBN13 9783642130090
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 189
Dimensions 160 × 234 × 13 mm   ·   317 g
Editor Muller, Peter

More by Peter Muller

Show all

See all of Peter Muller ( e.g. Paperback Book , Hardcover Book , Book and CD )