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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Springer Netherlands
SKU: 01414793
Price: 119.39 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

292 b

119.39 € VAT included

In stock at our supplier Shipping in 9-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Superthings Ultra Striker Enigma

Toy

22.79 €

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

Paperback

19.99 €

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

Paperback

23.69 €

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

Paperback

17.29 €

Espresso Espresso Various

Audio CD

17.19 €

Etudes d'Ethnographie Prehistorique Piette-E

Paperback

14.19 €

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

Paperback

42.95 €

Ropa de fuego Marcos Herrera

Paperback

17.89 €

Jezyk szwedzki na co dzien z plyta CD

Paperback

8.79 €

Infrarouge Nancy Huston

Paperback

9.99 €

Linnaea Entomologica. Entomologischer Verein in Stettin

Paperback

35.99 €

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

Paperback

15.09 €

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

Paperback

28.29 €

Abitur Und Matura Im Wandel Jochen Kramer

Paperback

54.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.