Proof And System-Reliability

 

Bertrand.pt - Proof And System-Reliability
idioma: Inglês
Editor: Kluwer Academic Publishers
Edição: maio de 2002
Portes
Grátis
20%
114,90€
91,92€

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent need to create systems in which it can trust. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. It also has hints to technical issues.

Coleções

Proof And System-Reliability
ISBN:
9781402006074
Ano de edição:
05-2002
Editor:
Kluwer Academic Publishers
Idioma:
Inglês
Encadernação:
Capa dura
Páginas:
428
Tipo de Produto:
Livro
EAN:
9781402006074
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.