An edition of Formal methods of program verification and specification (1982)

Formal methods of program verification and specification

by

Cover of: Formal methods of program verification and specification by H. K. Berg
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
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
July 17, 2022 | History
Edit
An edition of Formal methods of program verification and specification (1982)

Formal methods of program verification and specification

by

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

Publish Date
Publisher
Prentice-Hall
Language
English
Pages
207

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Specifications, Formal methods (Computer science), Verification, Computer programs, Computer software, testing
Edition Availability
Cover of: Formal methods of program verification and specification
Formal methods of program verification and specification
1982, Prentice-Hall
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Englewood Cliffs, N.J
Series
Prentice-Hall software series

Classifications

Dewey Decimal Class
001.65/24
Library of Congress
QA76.6 .F658 1982, QA76.6

The Physical Object

Pagination
xiv, 207 p. :
Number of pages
207

ID Numbers

Open Library
OL3782512M
Internet Archive
formalmethodsofp00berg
ISBN 10
0133288072
LCCN
81022719
OCLC/WorldCat
8110748
Library Thing
7628112
Goodreads
4846745

Source records

Internet Archive item record
Library of Congress MARC record
Better World Books record
marc_columbia MARC record

Community Reviews (0)

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

Lists

See All

History

Download catalog record: RDF / JSON
July 17, 2022 Edited by ImportBot import existing book
October 21, 2020 Edited by MARC Bot import existing book
February 13, 2020 Edited by MARC Bot remove fake subjects
July 22, 2017 Edited by Mek adding subject: In library
January 9, 2012 Created by ImportBot import new book