Titel: A Machine-Checked, Type-Safe Model of Java Concurrency

Titel:

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

Beteiligt:

Veröffentlicht:

Karlsruhe : KIT Scientific Publishing, 2012

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource

Format:

E-Book

Sprache:

Englisch

Schlagworte:

ISBN:

9783866448858

Treffer: A Machine-Checked, Type-Safe Model of Java Concurrency