| A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler Contributor(s): Lochbihler, Andreas (Author) |
|
 |
ISBN: 3866448856 ISBN-13: 9783866448858 Publisher: Karlsruher Institut Fur Technologie OUR PRICE: $68.40 Product Type: Paperback Published: June 2014 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General |
| Physical Information: 0.89" H x 5.83" W x 8.27" (1.14 lbs) 438 pages |