Visit our new collection website
www.collectionsforschool.co.uk
SCHOOL BOOKS
KEY STAGES
BEST SELLERS
BOOK AWARDS
NEW FICTION
HOME
FURTHER EDUCATION
SECONDARY
PRIMARY
COLLECTIONS
VIEW BASKET
CHECK-OUT
MY ACCOUNT
HELP
Title / ISBN13
ISBN / EAN
Author
Publisher
Series
Category
Email:
Subscribe to news & offers:
Need assistance?
Log In/Register
CATEGORY BROWSE
Arts
Agriculture
Biography
Business
Children's
Computing
Earth Sciences
Economics
Educational
Engineering
English Language Teaching (ELT)
Environment
Family
Fiction
Finance
Geography
Home
Humanities
Industry
Information
Information Technology
Interdisciplinary Subjects
Language
Law
Leisure Interests
Literature
Mathematics
Medicine
Planning
Practical Interests
Reference
Science
Social Sciences
Sport
Technology
Travel
Veterinary Science
ABOUT US
About Us
Contact Us
Terms & Conditions
Item Details
Title:
CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ
By:
Martin Davis, Jt Schwartz
Format:
Hardback
List price:
£17.95
We currently do not stock this item, please contact the publisher directly for further information.
ISBN 10:
1341578283
ISBN 13:
9781341578281
Publisher:
PALALA PRESS
Pub. date:
5 September, 2015
Illustrations:
black & white illustrations
Publication:
US
Imprint:
Palala Press
Returns:
Non-returnable
Some other items by this author:
50 YEAR JOURNEY (PB)
A FIRST COURSE IN FUNCTIONAL ANALYSIS (PB)
A MACHINE PROGRAM FOR THEOREM-PROVING
A MACHINE PROGRAM FOR THEOREM-PROVING (HB)
AER
ALAN M. TURING
AMERICA'S GIFT TO GOLF (HB)
AMERICAN WAY (PB)
AMSER
APPLIED NONSTANDARD ANALYSIS (HB)
APPLIED NONSTANDARD ANALYSIS (PB)
ARNOLD PALMER: AMERICAN HERO
ASESU DARLIEN A MATHEMATEG PRAWF SGRINO (PB)
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 (PB)
BEN HOGAN (PB)
BROC RHYFEL (PB)
BYRON NELSON (HB)
CARTOGRAPHIC ANALYSIS OF SOVIET MILITARY CITY PLANS
CARTOGRAPHIC ANALYSIS OF SOVIET MILITARY CITY PLANS (HB)
CHWAIN Y MWNGREL (PB)
COMPUTABILITY AND UNSOLVABILITY (PB)
COMPUTABILITY AND UNSOLVABILITY (PB)
COMPUTABILITY, COMPLEXITY, AND LANGUAGES (HB)
COMPUTER GRAPHICS (HB)
CONSTITUTIONES (2 )
CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS
CORRECT-PROGRAM TECHNOLOGY/EXTENSIBILITY OF VERIFIERS. TWO PAPERS ON PROGRAM VERIFICATION. BY MARTIN DAVIS AND J.T. SCHWARTZ
DIOPHANTINE SETS OVER POLYNOMIAL RINGS (CLASSIC REPRINT)
DIOPHANTINE SETS OVER POLYNOMIAL RINGS (HB)
DWR
DYN A BLANNAI GOED, Y (PB)
EXTENSIONS AND COROLLARIES OF RECENT WOR (PB)
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (HB)
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (HB)
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT''S TENTH PROBLEM (PB)
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM
EXTENSIONS AND COROLLARIES OF RECENT WORK ON HILBERT'S TENTH PROBLEM (HB)
FIRST COURSE IN FUNCTIONAL ANALYSIS (PB)
FROM HERE TO THERE (PB)
FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY (HB)
FROM LINEAR OPERATORS TO COMPUTATIONAL BIOLOGY (PB)
GRUFFUDD (PB)
HANDMAIDEN OF THE SUN: BOOK ONE - REALISATION
HANDMAIDEN OF THE SUN: BOOK TWO - RESOLUTION
HILBERT'S 10TH PROBLEM (HB)
HOGAN MYSTIQUE (PB)
HOGLANDS (HB)
HOW TO PLAY LINKS GOLF (HB)
JACK NICKLAUS (HB)
LLOSGI'R BONT (PB)
LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (PB)
MY MULLIGAN TO GOLF (HB)
OLWYNION
OS DIANC RHAI (PB)
PRACTICAL INJECTION MOLDING
RHITHIAU (PB)
RUBE GOLDBERG ON GOLF (HB)
SEROS (PB)
SEROS 2 (PB)
SET THEORY AND THE CONTINUUM HYPOTHESIS (PB)
SPECULATIVE IMAGE (PB)
TEXT AND MATERIALS ON HOUSING LAW (PB)
THE DIARY OF A SHROPSHIRE FARMER (PB)
THE FARMER AND THE GOOSE WITH THE GOLDEN EYES (PB)
THE GREATEST OF THEM ALL (HB)
THE RYDER CUP (HB)
THE RYDER CUP (PB)
THE THEORY AND PRACTICE OF TENANT PARTICIPATION IN HOUSING (HB)
THE UNDECIDABLE (PB)
THE UNICORN ROAD (AUD)
THE UNIVERSAL COMPUTER
THE UNIVERSAL COMPUTER (PB)
TONNAU TRYWERYN (PB)
UNIVERSAL COMPUTER (HB)
UNIVERSAL COMPUTER - THE ROAD FROM LEIBNIZ TO TURING (HB)
WALES DRAWING BIENNALE ARLUNIO CYMRU (PB)
WELSH SHIPS AND SAILING MEN (PB)
YSBRYD SABRINA
TOP SELLERS IN THIS CATEGORY
The Logic Manual
(Paperback)
By:
Volker Halbach
Oxford University Press
Our Price :
£9.62
Logic: A Very Short Introduction
(Paperback)
By:
Graham Priest
Oxford University Press
Our Price :
£6.56
Critical Thinking
(Paperback)
By:
Jennifer Moon
Taylor & Francis Ltd
Our Price :
£35.99
Logical Reasoning
(Paperback)
By:
Fairouz Kamareddine, Rob Nederpelt
College Publications
Our Price :
£14.01
The Logic of Scientific Discovery
(Paperback)
By:
Sir Karl Popper
Taylor & Francis Ltd
Our Price :
£17.99
BROWSE FOR BOOKS IN RELATED CATEGORIES
HUMANITIES
philosophy
topics in philosophy
logic
Information provided by
www.pickabook.co.uk
SHOPPING BASKET
Your basket is empty
Total Items:
0
Tweet this!
Stumble Upon
Blogger
Delicious
Digg
Facebook
AddThis
NEW
Ramadan and Eid al-Fitr
By:
SARA KHAN
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
Learning
That''s My Story!: Drama for Confidence, Communication and C...
By:
ADAM POWER-ANNAND
The ability to communicate is an essential life skill for all children, underpinning their confidence, personal and social wellbeing, and sense of self.
Learning
Power of 2
By:
DAVID JOSEPH SHARP
Learning
Reading Lessons
By:
CAROL ATHERTON
Easter
Greg the Sausage Roll: Egg-cellent Easter Adventure
By:
MARK HOYLE
Easter
Dear Easter Bunny
By:
MAXINE LEE-MACKIE
Easter
We''re Going on an Egg Hunt
By:
GOLDIE HAWK
Picture Book
Bowerbird
By:
JULIA DONALDSON
Picture Book
Mummy and Me
By:
LYDIA BRIGHT