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

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 $89.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.

You Can Find This Book In

Non-Fiction Mathematics Mathematical Foundation Mathematical Logic Medicine Medicine in General Philosophy Philosophy & Logic Computing & I.T.Computer Science Artificial Intelligence

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

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

Volume II

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

Volume II

Handbook of Automated Reasoning

Current Trends in Automated Theorem Proving

Current Trends in Automated Reasoning

The Language of Mathematics

The Stories behind the Symbols

Unequal

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

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

The Times Samurai Su Doku 14

100 extreme puzzles for the fearless Su Doku warrior

Artificial Conscience for the Quantum Physicist

Conscious Machines Tackling Quantum Mysteries

Covert Communication in the Meta Era

Blending Steganography with Augmented Reality and Artificial Intelligence

Logic For Dummies

For Dummies

Parabolic Problems

60 Years of Mathematical Puzzles in Parabola

Introduction to Mathematical Logic

Discrete Mathematics and Its Applications

Mathematical Foundations of Blockchains

Engineering Principles, Volume 2

Introduction to Modern Cryptography

Revised Third Edition

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

Volume I

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

Volume I

Advanced Techniques and Applications of Cybersecurity and Forensics

Emerging Technologies

AI and Blockchain in Smart Grids

Fundamentals, Methods, and Applications

Attack-and-Defense Games for Control Systems

Analysis and Synthesis

Blockchain and Digital Twin Applications in Smart Agriculture

Security, Privacy, and Trust in WBANs and E-Healthcare

This product is categorised by