Proof and System-Reliability

By: Helmut Schwichtenberg (Editor), Ralf Steinbruggen (Editor)

Write A Review

Hardcover | 1 May 2002

At a Glance

Hardcover
432 Pages

Dimensions(cm)
23.0 x 16.51 x 3.18

Hardcover

$159.01

or 4 interest-free payments of $39.75 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach

$31.75

21%
OFF

The Language of Mathematics

The Stories behind the Symbols

Hardcover

RRP $49.99

$40.75

18%
OFF

How to Prove It

A Structured Approach

Paperback

RRP $73.95

$70.75

Fuzzy Logic in Revolutionizing Renewable Energy : Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2 - Bhupinder Singh

$85.75

10%
OFF

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Hardcover

RRP $231.00

$202.75

12%
OFF

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Hardcover

RRP $242.00

$233.75

Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz

$187.75

The Times Fiendish Su Doku Book 19 : 200 challenging Su Doku puzzles - The Times Mind Games

$137.75

25%
OFF

Computable Structure Theory : Beyond the Arithmetic - Antonio Montalbán

$40.75

13%
OFF

Preface	p. ix
Cartesian Closed Categories of Effective Domains	p. 1
Algorithmic Game Semantics: A Tutorial Introduction	p. 21
Algebra of Networks	p. 49
Computability and Complexity from a Programming Perspective	p. 79
Logical Frameworks: A Brief Introduction	p. 137
Ludics: An Introduction	p. 167
Naive Computational Type Theory	p. 213
Proof-Carrying Code. Design and Implementation	p. 261
Abstractions and Reductions in Model Checking	p. 289
Hoare Logic: From First-order to Propositional Formalism	p. 323
Hoare Logics in Isabelle/HOL	p. 341
Proof Theoretic Complexity	p. 369
Feasible Computation with Higher Types	p. 399
Table of Contents provided by Ingram. All Rights Reserved.

Proof and System-Reliability

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Mathematical Logic

Current Trends in Automated Reasoning

Automated Theorem Proving

Theory and Practice

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Automated Deduction

From Theory to Applications

Advances in Automated Reasoning

Unequal

The Maths of When Things Do and Don't Add Up

The Language of Mathematics

The Stories behind the Symbols

How to Prove It

A Structured Approach

Fuzzy Logic in Revolutionizing Renewable Energy

Jenny Stanford Series on Fuzzy Theory Frontiers Vol. 2

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)

Volume I

Introduction to Modern Cryptography

Chapman & Hall/Crc Cryptography and Network Security

Introduction to Modern Cryptography

Revised Third Edition

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Strongly Minimal Sets and Categoricity in Continuous Logic

The Times Fiendish Su Doku Book 19

200 challenging Su Doku puzzles

The Times Ultimate Killer Su Doku Book 18

200 of the deadliest Su Doku puzzles

Cause, Effect, and Everything in Between

An Introduction to Causal Inference

Computable Structure Theory

Beyond the Arithmetic

Ignorance

What We Do Not Know, Cannot Know, Must Not Know, and Refuse to Know

Reading, Writing, and Proving

A Closer Look at Mathematics

Fuzzy Logic

An Introductory Text

Modern Mathematical Logic

This product is categorised by