An edition of A programming logic (1978)

A programming logic

with an introduction to the PL/CV verifier

by

Cover of: A programming logic by R. L. Constable, R. L. Constable
Locate

My Reading Lists:

Create a new list
Notes
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
January 7, 2026 | History
Edit
An edition of A programming logic (1978)

A programming logic

with an introduction to the PL/CV verifier

by

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

Publish Date
Publisher
Winthrop Publishers
Language
English
Pages
389

Check nearby libraries

Buy this book

Subjects

Computer programs PL/CV (Computer program language) Symbolic and mathematical Logic Testing
Edition Availability
Cover of: A programming logic
A programming logic: with an introduction to the PL/CV verifier
1978, Winthrop Publishers
in English

Add another edition?

Book Details

Edition Notes

Bibliography: p. 370-381.
Includes index.

Published in
Cambridge, Mass

Classifications

Dewey Decimal Class
001.6/42
Library of Congress
QA76.73.P252 C66

The Physical Object

Pagination
x, 389 p. ;
Number of pages
389

Edition Identifiers

Open Library
OL4723145M
ISBN 10
0876267266
LCCN
78010650
OCLC/WorldCat
4496073
Goodreads
4170047

Work Identifiers

Work ID
OL5527259W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation