Proof and System-Reliability (Hardcover) (ISBN-13: 9781402006074)

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.

Author: Ralf Steinbruggen,Helmut Schwichtenberg
ISBN-10: 1402006071
ISBN-13: 9781402006074
Publisher: Springer
Language: English
Published: 05/31/2002
Pages: 432
Format: Hardcover
Weight: 1.71lbs
Size: 9.21h x 6.14w x 0.94d