Frete Grátis
  • Google Plus

Verification, Model Checking, And Abstract Interpretation (Cód: 7048853)

Lenore D. Zuck; Paul D. Attie; Agostino Cortesi

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 515,00 R$ 453,20 (-12%) em até 10x de R$ 45,32 sem juros
Cartão Saraiva R$ 430,54 (-5%) em até 1x no cartão ou em até 12x de R$ 37,77 sem juros
Grátis

Cartão Saraiva

Descrição

This book constitutes the refereed proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2003, held in New York, NY, USA in January
2003. The 20 revised full papers presented together with five invited contributions were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on static analysis,
dynamic systems, abstract interpretation, model checking, security protocols, and formal methods.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540003489
Altura 23.40 cm
I.S.B.N. 9783540003489
Profundidade 1.82 cm
Referência 9783540003489
Ano da edição 2002
Idioma Inglês
Número de Páginas 344
Peso 0.45 Kg
Largura 15.60 cm
AutorLenore D. Zuck; Paul D. Attie; Agostino Cortesi

Avaliações

Avaliação geral: 0

Você está revisando: Verification, Model Checking, And Abstract Interpretation