Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Not currently available

Proof and System-Reliability (Paperback, Softcover reprint of the original 1st ed. 2002) Loot Price: R1,462
Discovery Miles 14 620
Repayment Terms: R137 pm x 12*
Proof and System-Reliability (Paperback, Softcover reprint of the original 1st ed. 2002): Helmut Schwichtenberg, Ralf...

Proof and System-Reliability (Paperback, Softcover reprint of the original 1st ed. 2002)

Helmut Schwichtenberg, Ralf Steinbruggen

Series: NATO Science Series II: Mathematics, Physics and Chemistry, 62

 (sign in to rate)
Loot Price R1,462 Discovery Miles 14 620 | Repayment Terms: R137 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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.

General

Imprint: Springer-Verlag New York
Country of origin: United States
Series: NATO Science Series II: Mathematics, Physics and Chemistry, 62
Release date: May 2002
First published: May 2002
Editors: Helmut Schwichtenberg • Ralf Steinbruggen
Dimensions: 235 x 155 x 22mm (L x W x T)
Format: Paperback
Pages: 415
Edition: Softcover reprint of the original 1st ed. 2002
ISBN-13: 978-1-4020-0608-1
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 1-4020-0608-X
Barcode: 9781402006081

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Life Lessons From Game Theory - The Art Of Thinking Strategically In A Complex World (Paperback): Michael Wooldridge
Life Lessons From Game Theory - The Art…
Michael Wooldridge Paperback R470 R349 Discovery Miles 3 490
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,236 Discovery Miles 12 360
Principia Mathematica (Hardcover): Russell Bertrand Russell
Principia Mathematica
Russell Bertrand Russell Hardcover R1,274 Discovery Miles 12 740
Logic from Russell to Church, Volume 5 (Hardcover, 5th edition): Dov M. Gabbay, John Woods
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,350 Discovery Miles 53 500
Logic for Physicists (Paperback): Nicolas A Pereyra
Logic for Physicists
Nicolas A Pereyra Paperback R760 Discovery Miles 7 600
Mathematical Logic (Paperback): Ian Chiswell, Wilfrid Hodges
Mathematical Logic
Ian Chiswell, Wilfrid Hodges Paperback R2,144 Discovery Miles 21 440
Philosophy and Model Theory (Hardcover): Tim Button, Sean Walsh
Philosophy and Model Theory
Tim Button, Sean Walsh Hardcover R4,286 Discovery Miles 42 860
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R108 Discovery Miles 1 080
Elementary Lessons in Logic - Deductive and Inductive: With Copious Questions and Examples and a Vocabulary of Logical Terms...
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R576 Discovery Miles 5 760
Models of Peano Arithmetic (Hardcover): Richard Kaye
Models of Peano Arithmetic
Richard Kaye Hardcover R5,008 Discovery Miles 50 080
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R432 Discovery Miles 4 320
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R529 Discovery Miles 5 290

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners