Code: 01414793

Proof and System-Reliability

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

by Helmut Schwichtenberg, Ralf Steinbrüggen

Language: English
Binding: Hardback
Number of pages: 415
Publisher: Springer Netherlands, 2002
More about this

112.54 €

RRP: 112.59 €

You save 0.05 €

In stock at our supplier
Shipping in 14 - 21 days

Add to wishlist

Библия. Книги Священного Писания Ветхого и Нового Завета. РПЦ. Полное издание с неканоническими книгами. Черная
34.56 € -11 %
Buy
Space Resources and Space Settlements
28.83 € -2 %
Buy
Sneetches and Other Stories
14.06 € -29 %
Buy
Superthings Ultra Striker Enigma
22.50 €
Buy
The Liturgy of the Church
23.30 € -2 %
Buy
Steins Gate 0
11.14 €
Buy
Alguien Que No Soy
22.30 €
Buy
Senses of Animals
32.55 € -1 %
Buy
History of Natural Philosophy
38.48 €
Buy
Creature Clinic
17.17 € -25 %
Buy
Jezyk szwedzki na co dzien z plyta CD
8.13 € -15 %
Buy
Manual of Maritime Law
16.37 €
Buy
Empyrean Stories: Short Tales of Empyrean Dreams
10.14 € -7 %
Buy
Fit durchs Studium. Erstellung eines Trainings- und Ernahrungsleitfadens fur Studentinnen
38.08 € -11 %
Buy
Agenda for a New Economy: From Phantom Wealth to Real Wealth
15.37 € -26 %
Buy
Lettre A Un Electeur Du Departement Du Nord, Sur Les Elections de 1818
13.56 € -10 %
Buy
Netherlands Investment and Business Guide Volume 1 Strategic and Practical Information
84.61 € -9 %
Buy
Etudes d'Ethnographie Prehistorique
12.45 € -10 %
Buy
L'Algerie Au Point de Vue Climatotherapique Dans Les Affections Consomptives
15.06 € -2 %
Buy
La apuesta municipalista : la democracia empieza por lo cercano
11.95 € -9 %
Buy
Compendium Theologiae Christianae, Accurata Methodo Sic Adornatum, UT Sit Ad Ss. Scripturas Legendas, ... Manuductio
22.90 € -10 %
Buy
Ne jamais s'additionner aux addictions, mieux vaut se soustraire
16.07 € -7 %
Buy
HIPERPLASIA GINGIVAL INDUCIDA POR CICLOSPORINA A EN TRANSPLANTADOS RENALES
30.24 €
Buy
La formación inicial del profesorado para la educación bilingüe
23.81 €
Buy
Enforcement of the Statutes of Labourers During the First Decade after the Black Death 1349 - 1359
35.77 € -2 %
Buy
Fear and Courage
16.97 € -1 %
Buy
Non sprecare il tempo, non sprecare l'amore
30.55 € -9 %
Buy
Many Call Me Father, But My Kids Call Me Dad
27.53 €
Buy
Die Diktatur des Rechts - eine Analyse der operativen Funktionsweise der Bundesrepublik Deutschland inklusive Maßnahmen zur Verbesserung
17.88 € -11 %
Buy
Jamison
9.44 € -25 %
Buy
The Peach-Tree Borer (1899)
20.59 € -2 %
Buy
James Herbert - The Authorised True Story
15.06 € -2 %
Buy
Pivotal Moments
24.11 €
Buy
Glaucoma Basics and Examination
88.76 €
Buy
The War in South Vietnam - The Years of the Offensive 1965-1968
20.49 € -6 %
Buy
Nana the Great Goes Camping
12.85 € -9 %
Buy
Do or Die
9.64 € -9 %
Buy
Essai Sur Le Caractere Et Les Moeurs Des Francois: Comparees A Celles Des Anglois (1776)
29.74 € -2 %
Buy
Les fantômes d'edimbourg
19.59 €
Buy
Introduction to the Science of Religion
27.53 € -14 %
Buy
Infrarouge
8.43 €
Buy
Muslim Religious Architecture, 2. Development of Religious Architecture in Later Periods
68.15 €
Buy
Dealings with the Dead: The Human Soul, Its Migrations and Its Transmigrations
31.65 € -1 %
Buy
Out of Reach
15.67 € -9 %
Buy
Asian Economic Systems
60.29 €
Buy
Oxygen Transport to Tissue XLIV
327.09 €
Buy
Epistemic Relativism
57.17 €
Buy
Linnaea Entomologica.
26.82 € -25 %
Buy
Abitur Und Matura Im Wandel
51.54 € -6 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

You get 274 loyalty points

Book synopsis

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.