Items related to Proof and System-Reliability: v. 62 (NATO Science Series...

Proof and System-Reliability: v. 62 (NATO Science Series II) - Hardcover

Book 198 of 241: NATO Science Series II: Mathematics, Physics and Chemistry
 
9781402006074: Proof and System-Reliability: v. 62 (NATO Science Series II)
Hardcover
ISBN 10: 1402006071 ISBN 13: 9781402006074
Publisher: Kluwer Academic Publishers, 2002

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.

"synopsis" may belong to another edition of this title.

Product Description

Proof And System-Reliability by Helmut Schwichtenberg, North Atlantic Treaty Organization Scientific Affairs Division, 9781402006074, Springer

"About this title" may belong to another edition of this title.

Publisher
Kluwer Academic Publishers
Publication date
2002
Language
English
ISBN 10 
1402006071
ISBN 13 
9781402006074
Binding
Hardcover
Number of pages
428
Editor
Schwichtenberg Helmut, Steinbruggen Ralf