An edition of Correctness Problem in Computer Science (International lecture series in computer science) (1981)

The Correctness problem in computer science

by and

  • 1 Want to read
  • 1 Currently reading
Cover of: The Correctness problem in computer science by Robert S. Boyer, J Strother Moore
Preview
Borrow Listen

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
  • 1 Want to read
  • 1 Currently reading
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
December 10, 2023 | History
Edit
An edition of Correctness Problem in Computer Science (International lecture series in computer science) (1981)

The Correctness problem in computer science

by and

  • 1 Want to read
  • 1 Currently reading

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

Publish Date
Publisher
Academic Press
Language
English
Pages
279

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Correctness, Computer programs

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: The Correctness problem in computer science
The Correctness problem in computer science
1981, Academic Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Includes bibliographies and index.

Published in
London, New York
Series
International lecture series in computer science

Classifications

Dewey Decimal Class
001.64/25
Library of Congress
QA76.6 .C663, QA76.6

The Physical Object

Pagination
xiii, 279 p. :
Number of pages
279

ID Numbers

Open Library
OL3789751M
Internet Archive
correctnessprobl0000unse
ISBN 10
0121229203
LCCN
81067887
OCLC/WorldCat
8364350
Goodreads
4608967

Source records

amazon.com record
Library of Congress MARC record
Better World Books record
Internet Archive item record
marc_columbia MARC record
Promise Item
harvard_bibliographic_metadata record

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 10, 2023 Edited by MARC Bot import existing book
December 8, 2022 Edited by ImportBot import existing book
December 8, 2022 Edited by MARC Bot import existing book
October 20, 2021 Edited by ImportBot import existing book
April 1, 2008 Created by an anonymous user Imported from Scriblio MARC record