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

Verification, Model Checking, and Abstract Interpretation

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Código Libristo: 15560990
Editoras Springer International Publishing AG, janeiro 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... 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

Satires Contre Les Astronomes MERCIER-L-S / Livro Capa mole
common.buy 11.60 €
MEURTRIERS SANS VISAGE Henning Mankell / Livro Capa mole
common.buy 12.31 €
Malvadita Keselman / Audiolivro MP3
common.buy 3.32 €
Os animais tem alma? ERNESTO BOZZANO / Livro Capa mole
common.buy 13.87 €
Viaggi attraverso le cose. Ediz. numerata Corrado Alvaro / Livro Capa mole
common.buy 6.55 €
Batman - Svět Různí / Livro Livro de capa dura
common.buy 17.05 €
ATS GRUPO B ADMINISTRACION ESPECIAL DE LA GENERALITAT VALENC EDITORIAL MAD / Livro Livro de capa dura
common.buy 54.01 €
Em breve
Mésopotamie - L'apparition de l'état, VIIe IIIe millénaires FOREST / Livro Livro
common.buy 71.78 €
Modèle de Hubbard étendu: Aspects électronique et magnétique Said Harir / Livro Capa mole
common.buy 39.27 €
Feelgood-Management Ulrike Weber / Livro Capa mole
common.buy 12.71 €
Lehrer sein! Johannes Baumann / Livro Capa mole
common.buy 21.09 €
Aktuelle Rechtsfragen im Radsport Manfred Büchele / Livro Capa mole
common.buy 51.59 €

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2017
Número de páginas 560
EAN 9783319522333
ISBN 3319522337
Código Libristo 15560990
Editoras Springer International Publishing AG
Peso 8657
Dimensões 155 x 235 x 31

Categorias

Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Conceção e utilizabilidade do interface com o utilizador
Informática & tecnologia da informação > Equipamento informático > Equipamento em rede
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
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

Remaking China's Great Cities Sam Liang / Livro Livro de capa dura
common.buy 203.44 €
Climate Change and Mango Production Syed Atif Hasan Naqvi / E-book Adobe ePub DRM
common.buy 204.96 €
INFINITY SAGA CAPT AMER WINTER SOLDIER A MARVEL STUDIOS / Livro Livro de capa dura
common.buy 24.73 €
Applying the Scientific Method to Learn from Mistakes and Approach Truth Finlay MacRitchie / E-book Adobe ePub DRM
common.buy 43.41 €
Amazing Writers: B2 (Collins Amazing People ELT Readers) Katerina Mestheneou / Audiolivro MP3
common.buy 6.96 €
Season's of a Mother's Heart Sally Clarkson / Livro Capa mole
common.buy 9.88 €
Em breve
Henry Demarest Lloyd and the Empire of Reform Chester Mcarthu Destler / Livro Livro de capa dura
common.buy 140.54 €
Psychedelic Alien Monster: Cannabis College Ruled Notebook Cannabis Growers Press / Livro Capa mole
common.buy 7.97 €
Speak Life: Restoring Healthy Communication in How You Think, Talk, and Pray Brady Boyd / Livro Capa mole
common.buy 16.45 €
Technology, Modernity, and Democracy Eduardo Beira / Livro Livro de capa dura
common.buy 143.67 €
Adventures of Hugh Jorgan Rock Harding / Livro Capa mole
common.buy 9.08 €
KJV Holy Bible, Personal Size Giant Print Reference Bible, Deluxe Burgundy Leathersoft, Thumb Indexed, 43,000 Cross References, Red Letter, Comfort Pr Thomas Nelson / Livro Livro de capa dura
common.buy 30.68 €
Red Earth Joel Canfield / Livro Capa mole
common.buy 17.36 €
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Livro Capa mole
common.buy 48.56 €
Principal
Peppa Pig: Hide and Peek Peppa Pig / Livro Livro concertina
common.buy 6.65 €
Damned If I Do, Dead If I Don't Hannah Bonde / Livro Capa mole
common.buy 15.74 €
Shipcraft 24: Japanese Battleship s Fuso and Ise Classes Robert Brown / Livro Capa mole
common.buy 17.05 €
ACTOR OR A PEEP BEHIND THE CUR Thomas Ford / Livro Capa mole
common.buy 16.45 €
Unbounded Chronicles David Schneider / Livro Capa mole
common.buy 25.33 €
Animals A-Z Trevor E Coward / Livro Capa mole
common.buy 13.42 €

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?