Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
by Martin Davis
$20.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9781379252634
1
Details
- Format
- Paperback
- ISBN-13
- 9781379252634
- Publisher
- Palala Press
- Published
- March 4, 2018
- Pages
- 152
- Weight
- 7.8 oz
- Subject
- Philosophy
More by Martin Davis
All booksExtensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem
Martin Davis
$15.99
A Cartographic Analysis of Soviet Military City Plans
A Cartographic Analysis of Soviet Military City Plans
Martin Davis
$228.99
Handmaiden of The Sun: Book One - Realisation
Handmaiden of The Sun: Book One - Realisation
Martin Davis
$17.99
The Harvest War
The Harvest War
Martin Davis
$14.99
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, Lpar-20 2015, Suva, Fiji, November 24-28, 2015, Proceedi
Martin Davis
$67.99
A Machine Program for Theorem-proving
A Machine Program for Theorem-proving
Martin Davis
$28.99
Diophantine Sets Over Polynomial Rings
Diophantine Sets Over Polynomial Rings
Martin Davis
$15.99
Astrolocality Astrology: A Guide to What It Is and How to Use It
Astrolocality Astrology: A Guide to What It Is and How to Use It
Martin Davis
$20.99
Lecture Notes on Mathematical Logic: Fall 1959
Lecture Notes on Mathematical Logic: Fall 1959
Martin Davis
$26.99
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz
Martin Davis
$128.99
From Here to There
From Here to There
Martin Davis
$28.99
Applied Nonstandard Analysis
Applied Nonstandard Analysis
Martin Davis
$12.99
Popular in Philosophy
Browse Philosophy
Signs from the Future
Slavoj Zizek
$11.99
The Liberalism of Fear
Judith Nisse Shklar
$12.99
The Philosophy Book
Dk
$17.99
The Republic of Plato
Allan Bloom
$28.99
The Structure of Scientific Revolutions
Thomas S. Kuhn
$14.99
Everything You Need to Know: How Philosophy Can Set You Free
Matthew Stewart
$25.99
Doing Good Better: How Effective Altruism Can Help You Help Others, Do Work That Matters, and Make Smarter Choices about Giving Back
William Macaskill
$15.99
The Art of War: A Step-by-Step Translation
Sun Tzu
$6.99
The Tao of Pooh
Benjamin Hoff
$20.99
An Injury to All: The Unmaking of the British Working Class
Ewan Gibbs
$27.99
Why Is There Something Rather Than Nothing?: A History of Philosophy in 23 Questions
Leszek Kolakowski
$14.99
Freedom: A Disease Without Cure
Slavoj Zizek
$11.99