Limit this search to....

Proof and System-Reliability
Contributor(s): Steinbruggen, Ralf (Author), Schwichtenberg, Helmut (Author), Schwichtenberg, Helmut (Editor)
ISBN: 1402006071     ISBN-13: 9781402006074
Publisher: Springer
OUR PRICE:   $104.49  
Product Type: Hardcover
Published: May 2002
Qty:
Additional Information
BISAC Categories:
- Computers | Computer Science
- Mathematics | Logic
- Medical
Dewey: 004
LCCN: 2002069525
Series: NATO Science
Physical Information: 0.94" H x 6.14" W x 9.21" (1.71 lbs) 432 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
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.