Frete Grátis
  • Google Plus

Analysis And Verification Of Multiple-Agent Languages (Cód: 6326203)

Mads Dam

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$ 522,90 em até 10x de R$ 52,29 sem juros
Cartão Saraiva R$ 496,76 (-5%) em até 1x no cartão ou em até 12x de R$ 43,58 sem juros
Grátis

Cartão Saraiva

Descrição

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and
verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also
included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540625032
Altura 23.40 cm
I.S.B.N. 9783540625032
Profundidade 2.32 cm
Referência 9783540625032
Ano da edição 1997
Idioma Inglês
Número de Páginas 452
Peso 0.45 Kg
Largura 15.60 cm
AutorMads Dam

Avaliações

Avaliação geral: 0

Você está revisando: Analysis And Verification Of Multiple-Agent Languages