Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Machine-Checked, Type-Safe Model of Java Concurrency

Language, Virtual Machine, Memory Model, and Verified Compiler

Език Английски езикАнглийски език
Книга С меки корици
Книга Machine-Checked, Type-Safe Model of Java Concurrency Andreas Lochbihler
Код Либристо: 06996443
Издателство Karlsruher Institut Fur Technologie, юни 2014
The Java programming language provides safety and security guarantees such as type safety and its se... Цялото описание
? points 94 b
38.68 €
75.65  лв
Външен склад Изпращаме след 8-11 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

La kundalini o l'energia del profondo Lilian Silburn / Книга С меки корици
common.buy 27.08 € 52.96 лв
Phanotypische Charakterisierung Der Einheimischen Afar-Ziege Seifemichael Mamo / Книга С меки корици
common.buy 51.68 € 101.08 лв
Top
Жизнь на продажу Ю. Мисима / Книга С меки корици
common.buy 11.19 € 21.88 лв
Top
Mitologia Indyjska Mitologia Kosmiczna / Книга С меки корици
common.buy 12.01 € 23.50 лв

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Machine-Checked, Type-Safe Model of Java Concurrency
Автор Andreas Lochbihler
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 438
Баркод 9783866448858
Код Либристо 06996443
Издателство Karlsruher Institut Fur Technologie
Тегло 517
Размери 148 x 210 x 23

Категории

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Java Threads and the Concurrency Utilities Jeff Friesen / Книга С меки корици
common.buy 47.92 € 93.71 лв
Top
Java Concurrency in Practice Brian Goetz / Книга С меки корици
common.buy 45.03 € 88.06 лв
Mastering Concurrency Programming with Java 8 Javier Fernandez Gonzalez / Книга С меки корици
common.buy 61.79 € 120.85 лв
Bug Club Guided Non Fiction Year 1 Blue B A Little Look at Big Reptiles Pauline Cartwright / Книга С меки корици
common.buy 10.47 € 20.47 лв
Advanced Concurrency in Java Ajay Kumar / Книга С меки корици
common.buy 10.31 € 20.17 лв
Atlas of Neuromuscular Diseases Eva L. Feldman / Книга С твърди корици
common.buy 296.39 € 579.69 лв
Fractal Noise: A Fractalverse Novel Paolini / Книга С меки корици
common.buy 15.01 € 29.35 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo