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 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

Verification, Model Checking, and Abstract Interpretation

13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012, Proceedings

Língua InglêsInglês
Livro Capa mole
Livro Verification, Model Checking, and Abstract Interpretation Viktor Kuncak
Código Libristo: 01660462
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2012
This book constitutes the refereed proceedings of the 13th International Conference on Verification,... Descrição completa
? points 123 b
50.82 €
Armazenamento externalo em pequenas quantidades Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Computer-Numerik 2 Christoph W. Überhuber / Livro Capa mole
common.buy 46.07 €
Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku / Livro Capa mole
common.buy 28.28 €
Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A / Livro Capa mole
common.buy 11.61 €
Allerhöchste Eisenbahn! Katharina Mahrenholtz / Livro Livro de capa dura
common.buy 8.88 €
Sono io il piu forte! RAMOS MARIO / Livro Livro de capa dura
common.buy 9.59 €
ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Livro binding.
common.buy 12.52 €
Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska / Livro Livro de capa dura
common.buy 4.23 €
Organizzazione delle altezze nello spazio temperato Luigi Verdi / Livro Livro de capa dura
common.buy 33.24 €
Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche / Livro Capa mole
common.buy 9.69 €
VALENCIA 2018 PASCUAL IZQUIERDO / Livro Capa mole
common.buy 16.26 €
LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO / Livro Capa mole
common.buy 17.17 €
LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber / Livro Livro de capa dura
common.buy 28.18 €
Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy / Livro Capa mole
common.buy 11.91 €
Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy / Livro Capa mole
common.buy 25.25 €
Die CSU Alf Mintzel / Livro Capa mole
common.buy 47.28 €
Wie ich ein Lügner wurde... Arkadij T. Awertschenko / Livro Capa mole
common.buy 18.18 €
Westfassade des Domes in Siena Silvia Katzenmaier / Livro Capa mole
common.buy 14.24 €
Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher / Livro Capa mole
common.buy 41.62 €

This book constitutes the refereed proceedings of the 13th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2012, held in Philadelphia, PA, USA, in January 2012, co-located with the Symposium on Principles of Programming Languages, POPL 2012. The 26 revised full papers presented were carefully reviewed and selected from 70 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation, static analysis, deductive methods, program certification, debugging techniques, abstract domains, type systems, and optimization.

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 Viktor Kuncak, Andrey Rybalchenko
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 457
EAN 9783642279393
ISBN 3642279392
Código Libristo 01660462
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 709
Dimensões 155 x 235 x 28

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
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

Secret of Chimneys / Livro Capa mole
common.buy 16.46 €
Fandom, Image and Authenticity Jennifer Otter Bickerdike / Livro Livro de capa dura
common.buy 50.52 €
The Art of Painting in Oil John Smith / Livro Capa mole
common.buy 13.43 €
Magnus and the Night Lion Sanne Dufft / Livro Capa mole
common.buy 7.57 €
Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts / Livro Capa mole
common.buy 7.06 €
Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE / Livro Capa mole
common.buy 20.10 €
Tender Persuasion Jean Hackensmith / Livro Capa mole
common.buy 12.52 €
Royal Merchant; An Opera Fletcher / Livro Livro de capa dura
common.buy 25.35 €
Mills Mill Pals Pamela Chaffin Foster / Livro Capa mole
common.buy 19.39 €
Select Works of Antony Van Leeuwenhoek, Containing His Microscopical Discoveries in Many of the Works of Nature. Translated from the Dutch and Latin E Antoni van Leeuwenhoek / Livro Capa mole
common.buy 25.96 €
Knowledge of Heaven and Earth, Book Two Mick Richfield / Livro Capa mole
common.buy 18.38 €
Soul in the Brain Michael R. Trimble / Livro Livro de capa dura
common.buy 40.61 €
How To Survive Peer Review Elizabeth Wager / Livro Capa mole
common.buy 26.67 €
Power System Economics - Designing Markets for Electricity Stoft / Livro Capa mole
common.buy 85.08 €

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