BestPriced.co.uk
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Adapting Proofs-as-Programs : The Curry--Howard Protocol
Barcode: 09780387281834
Brand: Springer New York
There are no offers for this product at this time.
More From Springer New York
Quantile-Based Reliability Analysis
from
£38.24
Menahem Max Schiffer: Selected Papers Volume 1
from
£76.08
Heavy-Tailed Time Series
from
£59.49
Geometry
from
£29.74
Introduction to the Foundations of Applied Mathematics
from
£46.74
Dissipative Ordered Fluids : Theories for Liquid Crystals
from
£76.08
Sobolev Spaces in Mathematics II : Applications in Analysis and Partial Differential Equations
from
£110.08
Lecture Notes on the General Theory of Relativity : From Newton's Attractive Gravity to the Repulsive Gravity of Vacuum Energy
from
£46.74
Large Time Asymptotics for Solutions of Nonlinear Partial Differential Equations
from
£76.08
The Noether Theorems : Invariance and Conservation Laws in the Twentieth Century
from
£63.33
Handbook of Maize : Genetics and Genomics
from
£152.58
Combinatorics and Graph Theory
from
£31.44
Hidden Markov Models : Estimation and Control
from
£110.08
Sunlight, Vitamin D and Skin Cancer
from
£152.58
Introduction to Nonparametric Estimation
from
£84.58
Hot Topics in Infection and Immunity in Children V
from
£110.08
Stopped Random Walks : Limit Theorems and Applications
from
£38.24
Competition Policies in Emerging Economies : Lessons and Challenges from Central America and Mexico
from
£76.08
Neuroscience in Space
from
£29.74
Theory of Stochastic Processes : With Applications to Financial Mathematics and Risk Theory
from
£38.24
Previous slide
Next slide
Price History
Excluding delivery costs, shows the lowest price over time.
Other Products You Might Like
The Meaning of Proofs : Mathematics as Storytelling
from
£17.75
Derivation and Computation : Taking the Curry-Howard Correspondence Seriously
from
£129.00
Corruption as a Last Resort : Adapting to the Market in Central Asia
from
£22.95
Corruption as a Last Resort : Adapting to the Market in Central Asia
from
£29.51
Feeding the Future : School Lunch Programs as Global Social Policy
from
£38.17
Proofs from THE BOOK
from
£40.65
Proofs from THE BOOK
from
£42.49
Proofs from THE BOOK
from
£61.20
Proofs from THE BOOK
from
£46.74
Proofs from THE BOOK
from
£61.20
Proofs from THE BOOK
from
£61.20
Proofs from THE BOOK
from
£29.74
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
from
£42.39
The Nuts and Bolts of Proofs : An Introduction to Mathematical Proofs
from
£25.64
Certified Programs and Proofs : Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
from
£38.24
Certified Programs and Proofs : Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13,2013, Proceedings
from
£38.24
Certified Programs and Proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011, Proceedings
from
£38.24
Howard Hawks : Music as Communication in Film
from
£17.99
Howard Hawks : Music as Communication in Film
from
£17.99
Types for Proofs and Programs : Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers
from
£38.24
Previous slide
Next slide
