£45.00
Computational Formalism
You may also like
Principles of Formal Quantitative Analysis
£64.99
Theory of Computation
£2.49
Type-Logical Syntax
£54.00
COMPUTATIONAL PHYSICS
£24.99
(£26.99)
Formalized Probability Theory and Applications Using Theorem Proving
£185.00
Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities
£195.00
Principles of Verification: Cycling the Probabilistic Landscape
£59.99
Principles of Verification: Cycling the Probabilistic Landscape
£64.99
Principles of Verification: Cycling the Probabilistic Landscape
£59.99
Formal Languages and Compilation
£74.50
Boolean Networks as Predictive Models of Emergent Biological Behaviors
£18.00
Program Proofs
£63.00