An edition of Proving programs correct (1979)

Proving programs correct

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Cover of: Proving programs correct by Robert Brockett Anderson
Preview Only

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 7, 2022 | History
Edit
An edition of Proving programs correct (1979)

Proving programs correct

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Wiley
Language
English
Pages
184

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Computer programs, Debugging in computer science, Testing, Computer software, testing

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Proving programs correct
Proving programs correct
1979, Wiley
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

New York

Edition Notes

Bibliography: p. 170-182.
Includes index.

Classifications

Dewey Decimal Class
001.6/425
Library of Congress
QA76.6 .A47, QA76.6

The Physical Object

Pagination
viii, 184 p. :
Number of pages
184

ID Numbers

Open Library
OL4722024M
Internet Archive
provingprogramsc0000ande
ISBN 10
0471033952
LCCN
78009321
OCLC/WorldCat
3913152
Library Thing
7628032
Goodreads
5004978

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 7, 2022 Edited by MARC Bot import existing book
October 18, 2022 Edited by ImportBot import existing book
October 15, 2020 Edited by MARC Bot import existing book
August 24, 2019 Edited by Michel T. Talbot Added new cover
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record.