عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3866448856
9783866448858
A Machine-Checked, Type-Safe Model of Java Concurrency :
[Book]
Language, Virtual Machine, Memory Model, and Verified Compiler /
by Andreas Lochbihler.
Karlsruhe :
KIT Scientific Publishing,
2012.
Online-Ressource
Zugl.: Karlsruhe, KIT, Diss., 2012.
005
.
13
Lochbihler, Andreas
20200825060117.0
rakwb
مطالعه متن کتاب [Book]
Y
