Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662910
Price: 46.03 EUR
Availability: InStock
Author: Roberto Giacobazzi
ISBN: 9783642358722

14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

Roberto Giacobazzi

Josh Berdine

Isabella Mastroeni

Língua

Inglês

Livro Capa mole

Código Libristo: 01662910

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janeiro 2013

This book constitutes the refereed proceedings of the 14th International Conference on Verification,... Descrição completa

Código Libristo: 01662910

111 b

46.03 €

Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Schmerz N. Birbaumer

Capa mole

47.34 €

Droit Des Femmes Et Le Mariage, Etudes Critiques de Legislation Comparee BRIDEL-L

Capa mole

16.48 €

Straßenverkehrsordnung (StVO)

Capa mole

15.57 €

Morgavsa a Morgana Tajemství bájné Chlupambry Petr Kopl

Livro de capa dura

8.89 €

Praha Thomas Käfer

Capa mole

18.20 €

Faustine Ida von Hahn-Hahn

Capa mole

11.93 €

Foto-Grafie. Fotografische Narrativität im Werk von Ida Fink Agnieszka Rz dca

Capa mole

28.02 €

Ostseeküste Mecklenburg-Vorpommern und Rügen Heidrun Hoffmann

Capa mole

13.24 €

SONATE PIANO PIANO ROBERT MOEVS Livro

binding.

28.72 €

Une Vie pour une Autre Levet

Capa mole

18.91 €

Nur ein Geiger Hans Christian Andersen

Capa mole

19.01 €

Beratung zwischen Tur und Angel Heino Hollstein-Brinkmann

Capa mole

54.53 €

Die Entwicklung des Religionsbegriffs bei Schleiermacher Eugen Huber

Capa mole

25.99 €

Traite de Morale, Reimprime d'Apres l'Edition de 1707 Malebranche-N

Capa mole

21.74 €

Dramaturgie in der Ausstellung Sibylle Lichtensteiger

Capa mole

17.90 €

Entwicklung und Implementierung eines drahtlosen Sensor-Aktor-Netzwerks fur ein Parkleitsystem Tom Filbrandt

Capa mole

22.15 €

Verbreitung und die Herkunft der Deutschen in Schlesien Karl Weinhold

Capa mole

11.12 €

Metodologia de previsao do potencial eolico de curto prazo Ferreira Adir a B

Capa mole

55.55 €

Gabler Lexikon Personal Ulrich Büdenbender

Capa mole

46.13 €

System der Politik Harald Bluhm

Capa mole

37.83 €

Zum Bildungsbedarf für Datensicherheit Frank Spieß

Capa mole

58.17 €

Doru Lineare, Un Insecto de Importancia Agronomica En Cultivo de Maiz Gladys Mabel Romero Sueldo

Capa mole

30.75 €

Datenbanksysteme für Software-Produktionsumgebungen Willi Gotthard

Capa mole

47.34 €

This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. §The 27 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type system, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

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 Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Língua

Inglês

Encadernação Livro - Capa mole

Data de emissão 2013

Número de páginas 556

EAN 9783642358722

ISBN 3642358721

Código Libristo 01662910

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 860

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 > Engenharia de programas > Testagem e verificação de programas

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