منو
رکورد قبلیرکورد بعدی

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


Document Type : BL
Record Number : 893223
Main Entry : Lochbihler, Andreas
Title & Author : A Machine-Checked, Type-Safe Model of Java Concurrency : : Language, Virtual Machine, Memory Model, and Verified Compiler /\ by Andreas Lochbihler.
Publication Statement : Karlsruhe :: KIT Scientific Publishing,, 2012.
Page. NO : Online-Ressource
ISBN : 3866448856
: : 9783866448858
Dewey Classification : ‭005.13‬
copyhttps://lib.clisel.com/site/catalogue/893223
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟