A Machine-Checked, Type-Safe Model of Java Concurrency
Language, Virtual Machine, Memory Model, and Verified Compiler
Free
- Language
- English
- Published
- 2012
- Publisher
- KIT Scientific Publishing
- Pages
- 436
- ISBN
- 9783866448858
No summary for this edition yet.
Opening the reader…
No reviews yet. Be the first.