Decidability Of Parameterized Verification

de Roderick Bloem, Igor Konnov, Ayrat Kalimov e Swen Jacobs 

Bertrand.pt - Decidability Of Parameterized Verification
idioma: Inglês
Editor: MORGAN & CLAYPOOL PUBLISHERS
Edição: setembro de 2015
43,76€
35,01€
Esgotado ou não disponível

Coleções

Decidability Of Parameterized Verification
ISBN:
9781627057431
Ano de edição:
09-2015
Editor:
MORGAN & CLAYPOOL PUBLISHERS
Idioma:
Inglês
Dimensões:
187 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
170
Tipo de Produto:
Livro
Classificação Temática:
EAN:
9781627057431
20% imediato
portes grátis
20% imediato
portes grátis
20% imediato
portes grátis
20% imediato
portes grátis
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.