Verificar estado da encomenda

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

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01660462
Price: 58.64 EUR
Availability: InStock
Author: Viktor Kuncak
ISBN: 9783642279393

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

Viktor Kuncak

Andrey Rybalchenko

Língua

Inglês

Livro Capa mole

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

Código Libristo: 01660462

142 b

58.64 €

Armazenamento externalo em pequenas quantidades Envio em 14-21 dias

Até 30 dias para devoluções

Os clientes também compraram

Computer-Numerik 2 Christoph W. Überhuber

Capa mole

54.90 €

Eloge de l'Abbe Rozier, Couronne Par l'Academie de Lyon, Le 30 Aout 1832 DE BOISSIEU-A

Capa mole

13.67 €

Maladies importantes, probl?mes de marché et de production des principales cultures fruiti?res Misgana Mitiku

Capa mole

34.03 €

Organizzazione delle altezze nello spazio temperato Luigi Verdi

Livro de capa dura

35.34 €

Tosia i Julek czekają na brata. (Nie) tacy sami Magdalena Boćko-Mysiorska

Livro de capa dura

4.75 €

ELEGIE VOIX-VLC-PIANO MUSIQUE D'ENSEMBLE JULES COHEN Livro

binding.

14.48 €

Sono io il piu forte! RAMOS MARIO

Livro de capa dura

11.34 €

Allerhöchste Eisenbahn! Katharina Mahrenholtz

Livro de capa dura

9.92 €

Intimidades en Soledad: Todos en el recuerdo, nadie por nombrar Manuel Jigato Rubio

Capa mole

10.22 €

LINDER Biologie SII - Ausgabe 2018 für Sachsen Horst Bayrhuber

Livro de capa dura

32.71 €

VALENCIA 2018 PASCUAL IZQUIERDO

Capa mole

18.33 €

LA LIBRETA ROJA DE LA PATERNIDAD CARLOS ESCUDERO

Capa mole

19.14 €

Interdependenz Von Zivilrecht Und Sozialrecht Nach Der Ehescheidung Mark Grohmann

Capa mole

78.30 €

Bese Ese Sapo!: 12 Formas de Convertir Lo Negativo en Positivo = Kiss That Frog! Brian Tracy

Capa mole

13.36 €

Energie Aus Biomasse - Ein Ethisches Diskussionsmodell Michael Zichy

Capa mole

30.08 €

Die CSU Alf Mintzel

Capa mole

56.01 €

Wie ich ein Lügner wurde... Arkadij T. Awertschenko

Capa mole

19.44 €

Westfassade des Domes in Siena Silvia Katzenmaier

Capa mole

16.20 €

Lernort Burgerrundfunk - Offene Hoerfunk- und Fernsehkanale und Nichtkommerzielle Lokalradios in der Bundesrepublik Deutschland Brigitte Kertscher

Capa mole

47.30 €

Die Geburt der Tragödie, Sonderausgabe Friedrich Nietzsche

Capa mole

10.93 €

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

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

Capa mole

18.43 €

Mills Mill Pals Pamela Chaffin Foster

Capa mole

22.99 €

Pinpoint Maths Times Tables Detectives Year 4 Lucy Roberts

Capa mole

8.20 €

Bright Ideas: Level 5: Teacher's Pack Katherine Bilsborough

Capa mole

30.99 €

Gothic - Grayscale Edition Coloring Book Selina Fenech

Capa mole

10.83 €

The Art of Painting in Oil John Smith

Capa mole

16.20 €

Magnus and the Night Lion Sanne Dufft

Capa mole

9.31 €

Diseases of the Foetus in Utero, (Not Including Malformations). with Outline of Foetal Development HENRY MADGE

Capa mole

23.19 €

Tender Persuasion Jean Hackensmith

Capa mole

14.07 €

Fire Sebastian Junger

Capa mole

15.59 €

Cup of Youth Silas Weir Mitchell

Capa mole

13.36 €

Royal Merchant; An Opera Fletcher

Livro de capa dura

28.36 €

Mozambique Maggie Richard Alun Jones

Capa mole

27.95 €

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

Capa mole

30.89 €