TY - GEN
AU - Lochbihler, Andreas
AU - Snelting, G.
TI - A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
PB - KIT Scientific Publishing, Karlsruhe
SN - 978-3-86644-885-8
KW - concurrency
KW - memory model
KW - type safety
KW - Java
KW - formal semantics
KW - DATA processing & computer science
PY - 2012-01-01
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation