Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Proof and System-Reliability

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

Helmut Schwichtenberg

Ralf Steinbrüggen

Language

English

Book Paperback

Libristo code: 01414794

Publishers Springer-Verlag New York Inc., May 2002

As society comes to rely increasingly on software for its welfare and prosperity there is an urgent... Full description

Libristo code: 01414794

125 b

51.75 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Delfini, vessilli, cannonate. Autobiografia letteraria Eraldo Affinati

Paperback

28.05 €

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

Hardback

20.45 €

L'architecture de terre crue en Bas-Quercy STADNICKY

Paperback

11.43 €

Le processus psychique et la théorie freudienne Bernat

Paperback

28.15 €

La Ballade du voleur au Whisky Julian Rubinstein

Paperback

12.35 €

Melanges Pierre Lambert Consacres a Huysmans Pierre Cogny

Paperback

37.97 €

Ask Barselonada Bekler Ugur Becerikli

Paperback

20.15 €

Nomada ETXEBERRIA

Paperback

24.70 €

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

Paperback

26.12 €

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

Paperback

14.88 €

Codex Diplomaticus Aevi Saxonici John Mitchell Kemble

Paperback

51.24 €

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

Sheet

7.99 €

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.