{"product_id":"proof-and-system-reliability-ralf-steinbruggen-9781402006074","title":"Proof and System-Reliability","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Ralf Steinbruggen,Helmut Schwichtenberg\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 1402006071\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9781402006074\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/31\/2002\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 432\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Hardcover\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.71lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.94d","brand":"Ralf Steinbruggen","offers":[{"title":"Hardcover","offer_id":48742556270847,"sku":"9781402006074","price":109.99,"currency_code":"USD","in_stock":true}],"url":"https:\/\/www.whiterainbookhouse.com\/products\/proof-and-system-reliability-ralf-steinbruggen-9781402006074","provider":"WR Book House","version":"1.0","type":"link"}