Proof and System-ReliabilityProof and System-Reliability
Proof and System-Reliability
BooksCloudSKU: 9781402006074

Proof and System-Reliability - Hardcover

$185.18
Shipping calculated at checkout.
In stock (50)
Proof and System-Reliability
Proof and System-Reliability - Hardcover
$185.18
Still deciding?
Logo for GOVX ID, a service used to verify military, first responder, nurse or teachers to qualify them for discounts

Discount available for Military, First Responders, Medical Workers and Teachers

Payment & Security
American Express
Apple Pay
Diners Club
Discover
Google Pay
Mastercard
PayPal
Shop Pay
Venmo
Visa

Your payment information is processed securely. We do not store credit card details nor have access to your credit card information.

Security
Related categories
Arts & Music - VysnArts & Music Automotive - VysnAutomotive Baby & Kids - VysnBaby & Kids Beauty & Body - VysnBeauty & Body Books & Collectibles - VysnBooks & Collectibles Clothing & Fashion - VysnClothing & Fashion Electronics - VysnElectronics Fitness Equipment - VysnFitness Equipment Food & Beverages - VysnFood & Beverages Health & Wellness - VysnHealth & Wellness Home & Garden - VysnHome & Garden Jewelry & Watches - VysnJewelry & Watches Mobility & Accessibility - VysnMobility & Accessibility Office & Work - VysnOffice & Work Pet Supplies - VysnPet Supplies Sports & Outdoor - VysnSports & Outdoor Toys & Games - VysnToys & Games Travel & Luggage - VysnTravel & Luggage
High-Quality MaterialsMade with premium materials for long-lasting use.
Easy to UseSimple design for quick setup and convenience.
Versatile & Multi-PurposePerfect for home, office, or on-the-go.
Satisfaction GuaranteeLove it or return it for a full refund.

by Ralf Steinbruggen (Author), Helmut Schwichtenberg (Author), Helmut Schwichtenberg (Editor)

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.

Number of Pages: 432
Dimensions: 0.94 x 9.21 x 6.14 IN
Illustrated: Yes
Publication Date: May 31, 2002
Free shipping on all U.S. orders
Easy returns and exchanges
30 day money back guarantee