- When you trade in £15 or more you’ll receive an additional £5 Amazon.co.uk Gift Card for the next time you spend £10 or more.
|Amazon Price||New from||Used from|
This book provides a systematic and practical approach todesigning, analyzing and implementing concurrent programs, usingboth state models and Java programs to introduce and illustrate keyconcepts and techniques. Topics covered include:
Established as a key learning resource for computer sciencegraduate and undergraduate students, this second edition includesnew coverage of Program Verification and Logical Properties. Theaccompanying website contains an updated version of the LTSA toolfor modeling concurrency, model animation and model checking. Thewebsite also includes the full set of state models, Java examplesand demonstration programs and a comprehensive series of overheadslides for course presentation.
Ideal for classroom use or self–study, this book providesreaders with the means to understand the fundamentals and practiceof concurrency.
Hello, I have just received the book but all the contents in the book are upside down. Can I change to a new one?Published on 27 Jan. 2012 by CHO YIU AU
The book has arrived promptly, its condition is perfect (as it is new). Thank you.Published on 6 April 2009 by Ms. B. Devenyi
I bought this book as a textbook for a concurrency module in the university. It explains the theory very well but when it comes to the coding it doesn't explain anything. Read morePublished on 28 Nov. 2003