Showing
1 - 1
results of
1
for search '
Lochbihler, Andreas
'
Skip to content
VuFind
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Author
Lochbihler, Andreas
Showing
1 - 1
results of
1
for search '
Lochbihler, Andreas
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
1
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler
by
Lochbihler, Andreas
Published 2012
DOAB: download the publication
DOAB: description of the publication
Electronic
Book Chapter
Save to List
Saved in:
Search Tools:
RSS Feed
Email Search