Search

Articles
Catalog
Databases
Journals
UWDC

Ask a Librarian
Accounts & Lists
Libraries
UW–Madison
Give
Help
Website Search

schedule

Next available on Monday 9 a.m.–5 p.m.

Additional Options

Call / Text
Consultation Appointment
Visit
Email

Business Library
College Library (Undergraduate)
Ebling Library (Health Sciences)
Gender and Women's Studies Librarian
Information School Library (Information Studies)
Law Library (Law)
Memorial Library (Humanities & Social Sciences)
MERIT Library (Education)
Steenbock Library (Agricultural & Life Sciences, Engineering)

Ask a Librarian Hours & Policy
Library Research Tutorials

Search the for

Articles Find articles in journals, magazines, newspapers, and more

Catalog Explore books, music, movies, and more

Databases Locate databases by title and description

Journals Find journal titles

UWDC Discover digital collections, images, sound recordings, and more

Website Find information on spaces, staff, services, and more

Website Search

Find information on spaces, staff, and services.

ASK a Librarian
Library by Appointment
Locations & Hours
Resources by Subject

Catalog Search

Search the physical and online collections at UW-Madison, UW System libraries, and the Wisconsin Historical Society.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Advanced Search
Browse by...
WorldCat

Database Search

Find databases subscribed to by UW-Madison Libraries, searchable by title and description.

Browse by Subject/Type
Introductory Databases
Top 10 Databases

Journal Search

Find journal titles available online and in print.

keyboard_arrow_down

Available Online
Print/Physical Items
Limit to UW-Madison

Browse by Subject / Title
BrowZine
Citation Search

Article Search

Find articles in journals, magazines, newspapers, and more.

keyboard_arrow_down

Available Online
Scholarly (peer-reviewed)
Open Access

Citation Search
Library Databases

UW Digital Collections Search

Discover digital objects and collections curated by the UW Digital Collections Center.

keyboard_arrow_down

Browse Collections
Browse UWDC Items

University of Wisconsin–Madison
Libraries

- UW Home
- My UW
- Email/Calendar
- Canvas
- Box
- Google Apps
Help
Give

Search the UW-Madison Libraries

Articles
Catalog
Databases
Journals
UWDC

favorite Saved Lists

book

Catalog Search

keyboard_arrow_down

Search
Catalog
A rigorous approach to self-checking programming

Books

A rigorous approach to self-checking programming

Author / Creator: Hua, Kien A
Available as: Physical

Request Options

Citation

Details

Checking for availability...

Creator: Kien A. Hua and Jacob A. Abraham
Format: Books
Language: English
Contributors: Abraham, Jacob A

United States. National Aeronautics and Space Administration
Publication: [Washington, DC : National Aeronautics and Space Administration], [publisher not identified], [1986]
Series: NASA contractor report ; NASA CR-180657
Physical Details: 1 volume
OCLC: ocm22463823

Distributed to depository libraries in microfiche.
Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration], 1987. 1 microfiche.

Subjects

Computer programs.

Additional Information

Check for Hathi data

Staff view

Libraries

Accessibility
Copyright Statement
Policies

Feedback, questions, or accessibility issues: libraries@wisc.edu

Support Libraries volunteer_activism

Keyboard Shortcuts

Available anywhere

?: Shortcut help message
s: Highlight search box
esc: Close dialog

Available in search results

n: Next page
p: Previous page
f: Toggle filters
1-5: Open nth result on page

Additional Options

Chat with a Specific library

Catalog Search

A rigorous approach to self-checking programming

Details

Physical Locations

Publication Details

Notes

Subjects

Additional Information

Information from the Web

Library Staff Details

Keyboard Shortcuts

Available anywhere

Available in search results