Skip to content

Booksellers & Trade Customers: Sign up for online bulk buying at trade.atlanticbooks.com for wholesale discounts

Booksellers: Create Account on our B2B Portal for wholesale discounts

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

by Andreas Lochbihler
Save 11% Save 11%
Current price ₹4,278.00
Original price ₹4,807.00
Original price ₹4,807.00
Original price ₹4,807.00
(-11%)
₹4,278.00
Current price ₹4,278.00

Imported Edition - Ships in 18-21 Days

Free Shipping in India on orders above Rs. 500

Request Bulk Quantity Quote
+91
Book cover type: Paperback
  • ISBN13: 9783866448858
  • Binding: Paperback
  • Subject: N/A
  • Publisher: Karlsruher Institut Fur Technologie
  • Publisher Imprint: Karlsruher Institut Fur Technologie
  • Publication Date:
  • Pages: 438
  • Original Price: GBP 38.0
  • Language: English
  • Edition: N/A
  • Item Weight: 518 grams
  • BISAC Subject(s): Languages / General

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Trusted for over 49 years

Family Owned Company

Secure Payment

All Major Credit Cards/Debit Cards/UPI & More Accepted

New & Authentic Products

India's Largest Distributor

Need Support?

Whatsapp Us