A Machine-Checked, Type-Safe Model of Java Concurrency

A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler

Paperback Published on: 04/06/2014
£38.00
No reviews yet, be the first
Free UK delivery on orders over £25
We can order this from the publisher
Usually dispatched within 2 weeks
Make and edit your lists in your account
No stock available in any shop.
We can order this from the publisher
Usually dispatched within 2 weeks
No stock available in any shop.

Publisher information

  • Publisher: Karlsruher Institut Fur Technologie
  • ISBN: 9783866448858
  • Number of pages: 438
  • Dimensions: 210 x 148 x 23 mm
  • Weight: 517g
  • Languages: English

Customer Reviews

You may also like...

Agile Principles, Patterns, and Practices in C#
Robert Martin
£59.49
Art of Computer Programming, The
Donald E. Knuth
£59.49
Practical Programming in Tcl and Tk
Brent Welch
£51.97
Python Programming Fundamentals
Kent D. Lee
£35.99
Algorithms in C, Part 5
Robert Sedgewick
£51.99
25 Recipes for Getting Started with R
Paul Teetor
£15.99
The Art of R Programming
Norman Matloff
£47.99
Jamaican Cooking Made Easy
Getjamaica Com
£15.00
C++ Programming Language, The
Bjarne Stroustrup
£59.49
C++ Pocket Reference
Kyle Loudon
£19.99
Macintosh Terminal Pocket Guide
Daniel J. Barrett
£19.99
Schaum's Outline of Programming with C++
John Hubbard
£32.99
C++ Standard Library, The
Nicolai M. Josuttis
£59.49
C Programming Language
Dennis Ritchie
£49.99
C Programming
K. N. King
£57.99
C Programming Absolute Beginner's Guide
Greg Perry
£21.99