Back to top
Languages & Display
English
Español
Display
Danvers - Peabody Institute Library
Dark Mode
Navigation
Library Website
Events Calendar
Museum Passes
Library of Things
ComCat
Databases
E-books, E-movies, etc.
Sign in
Your Account
Library Home Page
Library Hours & Location
Change Catalog
Help
Display Options
Languages
English
Español
Sign Out
Look for
Clear search
Keyword
Title
Start of Title
Series
Author
Subject
Call Number
Advanced Search
in Library Catalog
in Online Collection
in Articles & Databases
in Lists
in History & Archives
in Combined Results
Search
Browse
»
Mathematical theory of program correctness
Mathematical theory of program correctness
Author
Bakker, J. W. de (Jacobus Willem de), 1939-
Publisher
Prentice-Hall International
Publication Date
c1980
Language
English
Book
Show Edition
Available from another library
Where is it?
See Full Copy Details
Place Hold
Add to List
Description
Loading Description...
Published Reviews
Table of Contents
Loading Table Of Contents...
Author Notes
Loading Author Notes...
Subjects
Subjects
Computer programs
Computer programs -- Correctness
Correctness
Logic, Symbolic and mathematical
More Details
ISBN
9780135621325
NoveList
Staff View
Loading Staff View.
Loading, please wait
...
