BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

A Survey of Program Proof Technology
Stock photo: cover may vary

A Survey of Program Proof Technology Paperback -

by Jacob T. Schwartz

Add to wish list

Reader reviews for A Survey of Program Proof Technology

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work.

This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work.

As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.

Details

  • Title A Survey of Program Proof Technology
  • Author Jacob T. Schwartz
  • Binding Paperback
  • Pages 70
  • Volumes 1
  • Language ENG
  • Publisher Palala Press
  • ISBN 9781379202714 / 137920271X
  • Weight 0.25 lbs (0.11 kg)
  • Dimensions 9.21 x 6.14 x 0.15 in (23.39 x 15.60 x 0.38 cm)
  • Category Philosophy

Please wait a moment while we load the requested page.