Proof and System-Reliability Image close
Proof and System-Reliability
Proof and System-Reliability
Show Hide Adult Content
Proof and System-Reliability close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Proof and System-Reliability

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.99
RRP:
$205.95 save $66.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 24 Jul - 5 Aug using International Courier

Explore more NATO Science Series II: Mathematics, Physics and Chemistry

See all products in this series

Structural Theory of Automata, Semigroups, and Universal Algebra on Hardback Save $201
$269.99
$471.95
Structural Theory of Automata, Semigroups, and Universal Algebra
Hardback
Available - Usually ships in 3-4 weeks
Structural Theory of Automata, Semigroups, and Universal Algebra Save $44
$268.99
$313.95
Structural Theory of Automata, Semigroups, and Universal Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Nonlinear Homogenization and its Applications to Composites, Polycrystals and Smart Materials
$768.99
Nonlinear Homogenization and its Applications to Composites,...
Paperback / softback
Available - Usually ships in 3-4 weeks
"Sprites, Elves and Intense Lightning Discharges"
$767.99
"Sprites, Elves and Intense Lightning Discharges"
Paperback / softback
Available - Usually ships in 3-4 weeks
Transferability of Fracture Mechanical Characteristics Save $68
$136.99
$205.95
Transferability of Fracture Mechanical Characteristics
Paperback / softback
Available - Usually ships in 3-4 weeks
Nuclei Far from Stability and Astrophysics Save $35
$266.99
$302.95
Nuclei Far from Stability and Astrophysics
Paperback / softback
Available - Usually ships in 3-4 weeks
Spectroscopy of Emerging Materials on Hardback Save $81
$796.99
$878.95
Spectroscopy of Emerging Materials
Hardback
Available - Usually ships in 3-4 weeks
Computational Noncommutative Algebra and Applications on Hardback Save $201
$269.99
$471.95
Computational Noncommutative Algebra and Applications
Hardback
Available - Usually ships in 3-4 weeks
Mixed Ionic Electronic Conducting Perovskites for Advanced Energy Systems on Hardback
$790.99
Mixed Ionic Electronic Conducting Perovskites for Advanced Energy...
Hardback
Available - Usually ships in 3-4 weeks
Nonlinear Dielectric Phenomena in Complex Liquids on Hardback
$777.99
Nonlinear Dielectric Phenomena in Complex Liquids
Hardback
Available - Usually ships in 3-4 weeks
Frontiers of Multifunctional Integrated Nanosystems
$776.99
Frontiers of Multifunctional Integrated Nanosystems
Paperback / softback
Available - Usually ships in 3-4 weeks
The Role of VLBI in Astrophysics, Astrometry and Geodesy on Hardback Save $314
$269.99
$584.95
The Role of VLBI in Astrophysics, Astrometry and Geodesy
Hardback
Available - Usually ships in 3-4 weeks
Nanostructured Thin Films and Nanodispersion Strengthened Coatings
$402.99
$403.95
Nanostructured Thin Films and Nanodispersion Strengthened Coatings
Paperback / softback
Available - Usually ships in 3-4 weeks
The Role of VLBI in Astrophysics, Astrometry and Geodesy Save $35
$266.99
$302.95
The Role of VLBI in Astrophysics, Astrometry and Geodesy
Paperback / softback
Available - Usually ships in 3-4 weeks
Security of Natural Gas Supply through Transit Countries on Hardback Save $476
$288.99
$765.95
Security of Natural Gas Supply through Transit Countries
Hardback
Available - Usually ships in 3-4 weeks
The Implementation of Legally Binding Measures to Strengthen the Biological and Toxin Weapons Convention
$518.99
The Implementation of Legally Binding Measures to Strengthen the...
Paperback / softback
Available - Usually ships in 3-4 weeks

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, 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.
Release date Australia
May 31st, 2002
Audiences
  • Postgraduate, Research & Scholarly
  • Professional & Vocational
Contributors
  • Edited by Helmut Schwichtenberg
  • Edited by Ralf Steinbruggen
Edition
Softcover reprint of the original 1st ed. 2002
Illustrations
XII, 415 p.
Pages
415
Dimensions
155x235x22
ISBN-13
9781402006081
Product ID
2438672

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic