TY  - BOOK
A1  -  by Andreas Lochbihler.
TI  - A Machine-Checked, Type-Safe Model of Java Concurrency :
PB  - مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی
SN  - 90255157
UR  /book/90255157/A-MachineChecked-TypeSafe-Model-of-Java-Concurr/
ER  -