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 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Automated Technology for Verification and Analysis

14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Automated Technology for Verification and Analysis Cyrille Artho
Código Libristo: 13938039
Editoras Springer International Publishing AG, setembro 2016
This book constitutes the proceedings of the 14th International Symposium on Automated Technology fo... Descrição completa
? points 132 b
54.39 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Rochefiere: Etudes Humaines Monteil-E / Livro Capa mole
common.buy 25.17 €
Natya Shala / Livro Capa mole
common.buy 15.66 €
The Boy From Nowhere Grigi Valandy / Livro Capa mole
common.buy 17.99 €
Standard contre standards Gabrielle Beguin / Livro Capa mole
common.buy 24.76 €
Derrière l'écran K.L. Blackmoore / Livro Capa mole
common.buy 12.43 €
Churpfalzbaierisches Regierungsblatt Anonym / Livro Capa mole
common.buy 23.65 €
Duanin Ruhu Eva De Vitray-Meyerovitch / Livro Capa mole
common.buy 9.70 €
Fussball als Kulturphanomen. Was macht den Fussball so attraktiv? Maximilian Pfannschmidt / Livro Capa mole
common.buy 16.17 €
La gestión de eventos y productos turísticos INMACULADA OCAÑA / Livro Capa mole
common.buy 44.38 €
Gastronomie et cuisine valencienne : Castellón, Valence et Alicante ALEU Oriol / Livro Capa mole
common.buy 12.83 €
Maquinaria de obras públicas III : maquinaria específica y elementos auxiliares PEDRO BARBER LLORET / Livro Capa mole
common.buy 15.66 €
Baukosten Senken Ernst G. Brehmer / Livro Capa mole
common.buy 64.70 €

This book constitutes the proceedings of the 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.

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 Automated Technology for Verification and Analysis
Autor Cyrille Artho, Axel Legay, Doron Peled
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2016
Número de páginas 530
EAN 9783319465197
ISBN 3319465198
Código Libristo 13938039
Editoras Springer International Publishing AG
Peso 8132
Dimensões 155 x 235 x 31

Categorias

Tecnologia, Engenharia & Agricultura > Eletrónica & engenharia das comunicações > Engenharia eletrónica > Engenharia de controlos automáticos > Robótica
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
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 > Ciência informática > Arquitetura informática e conceção lógica
Informática & tecnologia da informação > Ciência informática > Inteligência artificial
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

ONE EARTH SPINELLI EILEEN / Livro Livro de capa dura
common.buy 8.18 €
DreamWork Kelly Wallace / Livro Capa mole
common.buy 9.90 €
Treatise of Beneficiary Matters PAOLO SARPI / Livro Livro de capa dura
common.buy 34.47 €
Milarepa and the Art of Discipleship I Sangharakshita / Livro Livro de capa dura
common.buy 33.66 €
John Deere 6351T AR65349 Turbocharger Rebuild Guide and Shop Manual: Garrett Honeywell T04B26 409760-0001, 409760-9001, 409760-5001, 409760-1 Turbocha Brian Smothers / Livro Capa mole
common.buy 31.13 €
My Baby Girls First Yearbook Dru L Murray / Livro Capa mole
common.buy 10.51 €
Reassessing Foucault Colin Jones / Livro Capa mole
common.buy 61.67 €
Call Diana Sautelle / Livro Capa mole
common.buy 25.47 €
Degradation of plastics waste and its effects on environmental aspects Subhashish Dey / Livro Capa mole
common.buy 41.45 €
Right Angle Club Annual Report 2011 M. D. George Ross Fisher / Livro Capa mole
common.buy 14.05 €
Nature of Music: Beauty, Sound and Healing Maureen McCarthy Draper / Livro Capa mole
common.buy 21.43 €
Sun-Worship And Well-Worship (Folklore History Series) James M. Mackinlay / Livro Capa mole
common.buy 17.48 €
The Eye of the Virgin Frederick Ramsay / Livro Capa mole
common.buy 16.67 €

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?