Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof and System-reliability
. Ed(S): Schwichtenberg, Helmut; Steinbruggen, Ralf
€ 67.87
FREE Delivery in Ireland
Description for Proof and System-reliability
Paperback. Proceedings of the NATO Advanced Study Institute, Marktoberdorf, Germany, from 24 July to 5 August 2001 Editor(s): Schwichtenberg, Helmut; Steinbruggen, Ralf. Series: NATO Science Series II. Num Pages: 415 pages, biography. BIC Classification: PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 235 x 155 x 22. Weight in Grams: 597.
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, ... Read more
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, ... Read more
Product Details
Format
Paperback
Publication date
2002
Publisher
Kluwer Academic Publishers United States
Number of pages
415
Condition
New
Series
NATO Science Series II
Number of Pages
415
Place of Publication
New York, NY, United States
ISBN
9781402006081
SKU
V9781402006081
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof and System-reliability