A Machine-Checked, Type-Safe Model of Java Concurrency – Language, Virtual Machine, Memory Model, and Verified Compiler
![Pro CDI 2 in Java EE 8: An In-Depth Guide to Context and Dependency Injection: Beernink, Jan, Tijms, Arjan: 9781484243626: Amazon.com: Books Pro CDI 2 in Java EE 8: An In-Depth Guide to Context and Dependency Injection: Beernink, Jan, Tijms, Arjan: 9781484243626: Amazon.com: Books](https://images-na.ssl-images-amazon.com/images/I/41ASEyOCeBL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_PIStarRatingTHREEANDHALF%2CBottomLeft%2C360%2C-6_SR600%2C315_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Pro CDI 2 in Java EE 8: An In-Depth Guide to Context and Dependency Injection: Beernink, Jan, Tijms, Arjan: 9781484243626: Amazon.com: Books
![Amazon.com: Go in Action (Audible Audio Edition): William Kennedy, Brian Ketelsen - contributor, Erik St. Martin - contributor, Mark Thomas, Manning Publications: Books Amazon.com: Go in Action (Audible Audio Edition): William Kennedy, Brian Ketelsen - contributor, Erik St. Martin - contributor, Mark Thomas, Manning Publications: Books](https://m.media-amazon.com/images/I/51Tet6beFWL.jpg)