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

Name: A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler: Dissertationsschrift
Brand: KIT Scientific Publishing
Availability: OutOfStock
Rating: 5 (1 reviews)

By Andreas Lochbihler

0 - Default Title

Product details

Binding:

Paperback

Number of Pages:

436

Release Date:

2012-12-07

Publication Date:

2012-12-07

Publisher:

KIT Scientific Publishing

Languages:

Published: English, Original: English

ISBN10:

3866448856

GPSR Manufacturer Reference:

[email protected]

Weight:

517 g

Buy on Amazon

Currently sold out