New Arrivals/Restock

Proof and System-Reliability (NATO Science Series II: Mathematics, Physics and Chemistry)

flash sale iconLimited Time Sale
Until the end
18
43
26

US$52.35 cheaper than the new price!!

Free shipping for purchases over $99 ( Details )
Free cash-on-delivery fees for purchases over $99
Please note that the sales price and tax displayed may differ between online and in-store. Also, the product may be out of stock in-store.
Used  US$34.90
quantity

Product details

Management number 231944892 Release Date 2026/06/18 List Price US$34.90 Model Number 231944892
Category

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. Read more

ISBN10 1402006071
ISBN13 978-1402006074
Edition 1st
Language English
Publisher Springer
Dimensions 6.5 x 1.25 x 9.5 inches
Item Weight 1.8 pounds
Print length 428 pages
Part of series NATO Science Series II: Mathematics, Physics and Chemistry
Publication date May 31, 2002

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Product Review

You must be logged in to post a review