Outras Aplicações

Model Checking

de Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Helmut (Technische Universitaet Darmstadt) Veith, Doron (Bar Ilan University) Peled e Daniel (Oxford University) Kroening 

Bertrand.pt - Model Checking
idioma: Inglês
Editor: MIT PRESS LTD
Edição: dezembro de 2018
97,34€
Esgotado ou não disponível
RESERVAR NA LIVRARIA Livrarias
Model Checking
de Edmund M. Clarke (Carnegie Mellon University) Jr., Orna (Technion) Grumberg, Helmut (Technische Universitaet Darmstadt) Veith, Doron (Bar Ilan University) Peled e Daniel (Oxford University) Kroening 
ISBN:
9780262038836
Ano de edição:
12-2018
Editor:
MIT PRESS LTD
Idioma:
Inglês
Dimensões:
178 x 229 x 20 mm
Encadernação:
Capa dura
Páginas:
424
Tipo de Produto:
Livro
Coleção:
Model Checking
Classificação Temática:
Livros  >  Livros em Inglês  >  Informática  >  Outras Aplicações

Livros  >  Livros em Inglês  >  Outros

EAN:
9780262038836
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.