Frete Grátis
  • Google Plus

Algebraic Methodology And Software Technology (Cód: 6326974)

Charles Rattray; Savitri Maharaj

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$ 578,60 em até 10x de R$ 57,86 sem juros
Cartão Saraiva R$ 549,67 (-5%) em até 1x no cartão ou em até 12x de R$ 48,22 sem juros
Grátis

Cartão Saraiva

Descrição

This book constitutes the refereed proceedings of the 10th International Conference on Algebraic Methodology and Software Technology, AMAST 2004, held in Stirling, Scotland, UK in July 2004.
The 35 revised full papers presented together with abstracts of 5 invited talks and an invited paper were carefully reviewed and selected from 63 submissions. Among the topics covered are all current issues in formal
methods related to algebraic approaches to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, model checking, state machines, rewriting,
Kleene algebra, programming logic, etc.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540223818
Altura 23.40 cm
I.S.B.N. 9783540223818
Profundidade 3.02 cm
Referência 9783540223818
Ano da edição 2004
Idioma Inglês
Número de Páginas 588
Peso 0.45 Kg
Largura 15.60 cm
AutorCharles Rattray; Savitri Maharaj

Avaliações

Avaliação geral: 0

Você está revisando: Algebraic Methodology And Software Technology