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 9.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer Netherlands
SKU: 01414793
Price: 115.38 EUR
Availability: InStock
Author: Helmut Schwichtenberg
ISBN: 9781402006074

Helmut Schwichtenberg

Ralf Steinbrüggen

Language

English

Book Hardback

Libristo code: 01414793

Publishers Springer Netherlands, November 2001

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

Libristo code: 01414793

280 b

115.38 €

In stock at our supplier Shipping in 9-15 days

Up to 30 days for returns

Customers also purchased

Die Diktatur des Rechts - eine Analyse der operativen Funktionsweise der Bundesrepublik Deutschland inklusive Maßnahmen zur Verbesserung Jonathan Misler

Paperback

17.94 €

LE PETIT PRINCE (EN CORÉEN) Antoine de Saint-Exupéry

Paperback

22.99 €

Ne jamais s'additionner aux addictions, mieux vaut se soustraire Miss Sandra Dumeix

Paperback

16.63 €

Espresso Espresso Various

Audio CD

16.53 €

Etudes d'Ethnographie Prehistorique Piette-E

Paperback

13.61 €

Fit durchs Studium. Erstellung eines Trainings- und Ernahrungsleitfadens fur Studentinnen Lorie Lingmann

Paperback

38.22 €

Ropa de fuego Marcos Herrera

Paperback

17.14 €

Jezyk szwedzki na co dzien z plyta CD

Paperback

8.36 €

Infrarouge Nancy Huston

Paperback

9.67 €

Linnaea Entomologica. Entomologischer Verein in Stettin

Paperback

28.03 €

Lettre A Un Electeur Du Departement Du Nord, Sur Les Elections de 1818 Sans Auteur

Paperback

14.51 €

Compendium Theologiae Christianae, Accurata Methodo Sic Adornatum, UT Sit Ad Ss. Scripturas Legendas, ... Manuductio Johannes Wolleb

Paperback

27.12 €

Abitur Und Matura Im Wandel Jochen Kramer

Paperback

51.73 €

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.