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

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Bezeichner
ISBN Kit Scientific Publishing 3866448856
Abmessungen / Gewicht
Hauptmerkmale
Kit Scientific Publishing

Kit Scientific Publishing ist ein unabhängiges, wissenschaftliches Verlagshaus, das sich auf die Veröffentlichung von Fachbüchern und Zeitschriften spezialisiert hat. Das Unternehmen wurde im Jahr 2006 gegründet und hat seinen Sitz in Cambridge, Großbritannien.'.