Proof and System-Reliability
Book Details
Format
Hardback or Cased Book
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
Werezi Extended Catalogue
0 in stock
Delivery 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 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 pages.
