Research Catalog

Proving programs correct

Title
Proving programs correct / Robert B. Anderson.
Author
Anderson, Robert Brockett, 1941-
Publication
New York : Wiley, ©1979.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.6.A47Off-site

Details

Description
viii, 184 pages : illustrations; 23 cm
Subject
  • Computer programs > Testing
  • Debugging in computer science
  • Computer programs > Testing
  • Debugging in computer science
  • Programmverifikation
  • Software
  • Programmatuurtechniek
  • Testen
  • CHECKOUT
  • COMPUTER PROGRAMS
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 170-182.
Contents
ch. 1. Mathematical induction -- ch. 2. Proving the correctness of flowchart programs -- ch. 3. Proving the correctness of programs written in a standard programming language -- ch. 4. Proving the correctness of recursive programs -- ch. 5. Current research related to proving program correctness.
ISBN
  • 0471033952
  • 9780471033950
LCCN
78009321
OCLC
  • ocm03913152
  • 3913152
  • SCSB-241523
Owning Institutions
Princeton University Library