Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
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
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Tests and Proofs

12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Tests and Proofs Catherine Dubois
Código Libristo: 19406924
Editoras Springer International Publishing AG, junho 2018
This book constitutes the refereed proceedings of the 12th International Conference on Tests and Pro... Descrição completa
? points 111 b
45.93 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Bývalý cizinec Valentin Popov / Livro Capa mole
common.buy 4.94 €
Analisis de la realidad socioeconomica en Chile Benjamín Israel Navon / Livro Capa mole
common.buy 18.97 €
La Chute d'Albert Camus Nathalie Ginestier / Livro Capa mole
common.buy 22.91 €
280 huiles essentielles (Poche) Michel Dogna / Livro Capa mole
common.buy 11.20 €
Ffordd Beryglus, Y T. Llew Jones / E-book Adobe ePub DRM
common.buy 6.05 €
Ombres chinoises Petit Guide / E-book Adobe ePub DRM
common.buy 2.82 €

This book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Tests and Proofs
Autor Catherine Dubois, Burkhart Wolff
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2018
Número de páginas 185
EAN 9783319929934
ISBN 3319929933
Código Libristo 19406924
Editoras Springer International Publishing AG
Peso 314
Dimensões 155 x 235 x 12

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Informática & tecnologia da informação > Tecnologia da informação: generalidades
Informática & tecnologia da informação > Segurança informática
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ário

Também pode estar interessado em

Journey to Antipodes Jay C Bugg / Livro Capa mole
common.buy 15.74 €
Let Rome Fall WENDY ROMAN / Livro Capa mole
common.buy 9.28 €
Reward for High Public Office Barbara Nunberg / Livro Capa mole
common.buy 65.12 €
The Big Adios: Western Digest Jim Wilsky / Livro Capa mole
common.buy 7.16 €
Ancient Egypt 500-Piece Puzzle Albert Racinet / Jogo/brinquedo Jogo
common.buy 17.86 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?