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
Contacto
Como comprar
Ajuda
Entrega
Correio DHL 7.99 €
Correio DPD 4.49 €
Correio MRW 3.99 €
Ponto DPD 3.99 €
Guia de compras
A minha conta
▸
Vazio :-(
0
Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Língua
Inglês
Inglês
Livro
Capa mole
This book constitutes the thoroughly refereed post-conference proceedings of the Second Internationa...
Descrição completa
Código Libristo: 01661050
?
111 b
111 b
45.97
€
Armazenamento externo
Envio em 5-8 dias
Política de devolução de 30 dias
Os clientes também compraram
/
Capa mole
34.04
€
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011.§The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.
Atriz
&
Poliglota
EWA KASP
para
Reproduzir vídeo
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.
Sobre o livro
Nome completo
Runtime Verification
Autor
Koushik Sen, Sarfaz Khurshid
Língua
Inglês
Inglês
Encadernação
Livro - Capa mole
Data de emissão
2012
Número de páginas
458
EAN
9783642298592
ISBN
3642298591
Código Libristo
01661050
Peso
718
Dimensões
155 x 235 x 26
Categorias
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Algoritmos e estruturas de dados
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Compiladores e intérpretes
Informática & tecnologia da informação
>
Programação & engenharia informática
>
Linguagens de programação e escrita: generalidades
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Capa mole
28.28
€
/
Capa mole
53.95
€