Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer-Verlag New York Inc.
SKU: 01414794
Price: 48.94 EUR
Availability: InStock
Author: Helmut Schwichtenberg
ISBN: 9781402006081

Helmut Schwichtenberg

Ralf Steinbrüggen

Língua

Inglês

Livro Capa mole

Código Libristo: 01414794

Editoras Springer-Verlag New York Inc., maio 2002

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent... Descrição completa

Código Libristo: 01414794

118 b

48.94 €

Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

Delfini, vessilli, cannonate. Autobiografia letteraria Eraldo Affinati

Capa mole

23.81 €

La Dragonne au cœur de pierre Véronique MASSENOT

Livro de capa dura

17.83 €

L'architecture de terre crue en Bas-Quercy STADNICKY

Capa mole

9.92 €

Le processus psychique et la théorie freudienne Bernat

Capa mole

24.52 €

La Ballade du voleur au Whisky Julian Rubinstein

Capa mole

10.73 €

Melanges Pierre Lambert Consacres a Huysmans Pierre Cogny

Capa mole

33.03 €

Ask Barselonada Bekler Ugur Becerikli

Capa mole

19.04 €

Nomada ETXEBERRIA

Capa mole

21.48 €

La crisis : salir de la crisis del capitalismo o salir del capitalismo en crisis Samir Amin

Capa mole

24.72 €

Histoire Du Chat Et de La Souris Qui Devinrent Amis Sepulveda Luis

Capa mole

12.96 €

Codex Diplomaticus Aevi Saxonici John Mitchell Kemble

Capa mole

46.41 €

Sag es treffender! (Krach, bumm, bäng!) Karin Pfeiffer

Folha

7.29 €

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. Experience has shown that confidence can only come from a more profound understanding of the issues, which in turn can come only if it is based on logically sound foundations. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. All contributions are self-contained, aiming at comprehensibility as well as comprehensiveness. The volume also contains introductory hints to technical issues, concise surveys, introductions, and various fresh results and new perspectives.