Frete Grátis
  • Google Plus

Formal Methods In Software And Systems Modeling (Cód: 6327461)

Hans-Jörg Kreowski; Ugo Montanari; Fernando Orejas

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$ 566,30 em até 10x de R$ 56,63 sem juros
Cartão Saraiva R$ 537,99 (-5%) em até 1x no cartão ou em até 15x de R$ 37,75 sem juros

Crédito:
Boleto:
Cartão Saraiva:

Total: R$0,00

Em até 10x sem juros de R$ 0,00


Formal Methods In Software And Systems Modeling

R$566,30

Descrição

By presenting state-of-the-art research results on various aspects of formal and visual modeling of software and systems, this book commemorates the 60th birthday of Hartmut Ehrig. The 24 invited reviewed papers are
written by students and collaborators of Hartmut Ehrig who are established researchers in their fields. Reflecting the scientific interest and work of Hartmut Ehrig, the papers fall into three main parts on graph
transformation, algebraic specification and logic, and formal and visual modeling.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540249368
Altura 23.40 cm
I.S.B.N. 9783540249368
Profundidade 2.30 cm
Referência 9783540249368
Ano da edição 2005
Idioma Inglês
Número de Páginas 448
Peso 0.45 Kg
Largura 15.60 cm
AutorHans-Jörg Kreowski; Ugo Montanari; Fernando Orejas

Avaliações

Avaliação geral: 0

Você está revisando: Formal Methods In Software And Systems Modeling