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
October 21, 2020 | 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
October 21, 2020 Edited by MARC Bot import existing book
February 15, 2019 Created by MARC Bot import existing book