Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Machine-Checked, Type-Safe Model of Java Concurrency

Name: Machine-Checked, Type-Safe Model of Java Concurrency
Brand: Karlsruher Institut Fur Technologie
SKU: 06996443
Price: 36.53 EUR
Availability: InStock
Author: Andreas Lochbihler
ISBN: 9783866448858

Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

Língua

Inglês

Livro Capa mole

Código Libristo: 06996443

Editoras Karlsruher Institut Fur Technologie, junho 2014

The Java programming language provides safety and security guarantees such as type safety and its se... Descrição completa

Código Libristo: 06996443

89 b

36.53 €

Armazenamento externo Envio em 8-11 dias

Até 30 dias para devoluções

Os clientes também compraram

La kundalini o l'energia del profondo Lilian Silburn

Capa mole

23.20 €

Phanotypische Charakterisierung Der Einheimischen Afar-Ziege Seifemichael Mamo

Capa mole

48.84 €

Жизнь на продажу Ю. Мисима

Capa mole

12.10 €

Mitologia Indyjska Mitologia Kosmiczna

Capa mole

11.39 €

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.