Proof and System-Reliability: v. 62 (NATO Science Series II) - Image 1

£91.50

Springer Proof and System-Reliability: v. 62 (NATO Science Series II)

Name: Proof and System-Reliability: v. 62 (NATO Science Series II)
Brand: Springer
Price: 87.92 GBP
Availability: InStock

AI & Machine Learning

Price History & Forecast

Last 45 days • 45 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 45 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £92 (37 days, 82.2%)

Price range: £88 - £92

Price levels: 2 different prices over 45 days

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.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1402006071
Category: Books > Subjects > Computing & Internet > Computer Science > AI & Machine Learning
Domain: Amazon UK
Release Date: 31 May 2002
Listed Since: 28 December 2006

Barcode

No barcode data available

Springer Proof and System-Reliability: v. 62 (NATO Science Series II)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Proof Theory: Sequent Calculi and Related Formalisms (Discrete Mathematics and Its Applications)

Logic for Applications (Texts in Computer Science)

Proof And Computation II: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Computational Logic: 165 (NATO ASI Subseries F:, 165)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Language Computability and Formal Language Theory

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

Semantical Investigations in Heyting's Intuitionistic Logic: 148 (Synthese Library, 148)

Constructive Models (Siberian School of Algebra and Logic)

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics: 21 (Outstanding Contributions to Logic, 21)

Resolution Proof Systems: An Algebraic Theory: 4 (Automated Reasoning Series, 4)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Springer Well-Quasi Orders in Computation, Logic and Reasoning

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Springer - Logics of Specification Languages Monograph

Proof Complexity Generators: Series Number 497 (London Mathematical Society Lecture Note Series, Series Number 497)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Springer - Formalization of Complex Analysis and Matrix Theory