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€
Esgotado ou não disponível

Da mesma coleção

Recoverable Mutual Exclusion
20%
portes grátis
20% Cartão Leitor Bertrand
47,30€
Poupe 9,46€
Springer International Publishing AG
Recoverable Mutual Exclusion
20%
portes grátis
20% Cartão Leitor Bertrand
47,30€
Poupe 9,46€
Springer International Publishing AG
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
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.