Code: 01414793

Proof and System-Reliability

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

110.24 €

In stock at our supplier
Shipping in 9 - 15 days

Add to wishlist

Sneetches and Other Stories
13.71 € -29 %
Buy
The Liturgy of the Church
22.79 € -2 %
Buy
History of Natural Philosophy
38.22 €
Buy
Jezyk szwedzki na co dzien z plyta CD
8.36 € -15 %
Buy
Die Diktatur des Rechts - eine Analyse der operativen Funktionsweise der Bundesrepublik Deutschland inklusive Maßnahmen zur Verbesserung
17.94 € -11 %
Buy
Fit durchs Studium. Erstellung eines Trainings- und Ernahrungsleitfadens fur Studentinnen
38.22 € -11 %
Buy
Lettre A Un Electeur Du Departement Du Nord, Sur Les Elections de 1818
13.81 € -2 %
Buy
Glaucoma Basics and Examination
89.05 €
Buy
Espresso Espresso
16.53 €
Buy
Etudes d'Ethnographie Prehistorique
13 € -1 %
Buy
Manual of Maritime Law
16.94 €
Buy
Dealings with the Dead: The Human Soul, Its Migrations and Its Transmigrations
30.85 € -2 %
Buy
Empyrean Stories: Short Tales of Empyrean Dreams
9.98 € -7 %
Buy
Compendium Theologiae Christianae, Accurata Methodo Sic Adornatum, UT Sit Ad Ss. Scripturas Legendas, ... Manuductio
25.71 € -9 %
Buy
Infrarouge
9.67 €
Buy
Agenda for a New Economy: From Phantom Wealth to Real Wealth
15.12 € -26 %
Buy
Netherlands Investment and Business Guide Volume 1 Strategic and Practical Information
86.53 € -9 %
Buy
Pivotal Moments
24 €
Buy
James Herbert - The Authorised True Story
14.82 € -1 %
Buy
Linnaea Entomologica.
26.32 € -27 %
Buy
The Peach-Tree Borer (1899)
20.16 € -1 %
Buy
Enforcement of the Statutes of Labourers During the First Decade after the Black Death 1349 - 1359
34.99 € -1 %
Buy
Nana the Great Goes Camping
10.38 € -26 %
Buy
Abitur Und Matura Im Wandel
51.73 € -6 %
Buy
Scarlet Letter
7.96 € -7 %
Buy
Oxygen Transport to Tissue XLIV
326.19 €
Buy
Ropa de fuego
17.14 €
Buy
Ne jamais s'additionner aux addictions, mieux vaut se soustraire
15.73 € -7 %
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 267 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.