Proof and System-Reliability

Name: Proof and System-Reliability
Brand: Kluwer Academic Publishers
SKU: 9781402006074
Price: 15300 KES
Availability: OutOfStock
ISBN: 9781402006074

Book Details

Format Hardback

Book Series NATO Science Series II

ISBN-10 1402006071

ISBN-13 9781402006074

Publisher Kluwer Academic Publishers

Imprint Kluwer Academic Publishers

Country of Manufacture GB

Country of Publication GB

Publication Date May 31st, 2002

Print length 428 Pages

Product Classification: Mathematical logic

KSh 15,300.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

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. This volume contains contributions from leading researchers in the critical disciplines of computing and information science, mathematics, logic, and complexity. It also has hints to technical issues.

Cartesian Closed Categories of Effective Domains; G. Hamrin, V. Stoltenberg-Hansen. Algebraic Game Semantics: A Tutorial Introduction; S. Abramsky. Algebra of Networks; G. Stefanescu. Computability and Complexity from a Programming Perspective; N.D. Jones. Logical Frameworks: A Brief Introduction; F. Pfenning. Ludics: An Introduction; J.-Y. Girard. Naïve Computational Type Theory; R. Constable. Proof-Carrying Code. Design and Implementation; G. Necula. Abstractions and Reductions in Model Checking; O. Grumberg. Hoare Logic: From First Order to Propositional Formalism; J. Tiuryn. Hoare Logics in Isabelle/HOL; T. Nipkow. Proof Theory and Complexity; G.E. Ostrin, S.S. Wainer. Feasible Computation with Higher Types; H. Schwichtenberg, S.J. Bellantoni.

Get Proof and System-Reliability by Helmut Schwichtenberg at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Kluwer Academic Publishers and it has 428 pages.