Skip to main content

Proving programs correct

Bookreader Item Preview

texts

Proving programs correct

by

Publication date
Topics
Computer programs -- Testing, Debugging in computer science
Publisher
New York : Wiley
Collection
trent_university; internetarchivebooks; printdisabled
Contributor
Internet Archive
Language
English
Item Size
513.6M
viii, 184 p. : 23 cm

Includes index

Bibliography: p. 170-182
Access-restricted-item
true
Addeddate
2019-07-26 11:12:00
Bookplateleaf
0003
Boxid
IA1384116
Camera
Sony Alpha-A6300 (Control)
Collection_set
trent
External-identifier
urn:oclc:record:1151072673[WorldCat (this item)]
urn:lcp:provingprogramsc0000ande:lcpdf:bc1a8ffe-596e-4c91-a9b9-0a7b96767aee
urn:lcp:provingprogramsc0000ande:epub:f2416ff8-e21e-49e2-947b-82927adcc84d
Foldoutcount
0
Identifier
provingprogramsc0000ande
Identifier-ark
ark:/13960/t0kt4gs3d
Invoice
1652
Isbn
0471033952
Full catalog record
MARCXML


comment
Reviews

274 Views

3 Favorites

DOWNLOAD OPTIONS

No suitable files to display here.

IN COLLECTIONS

Trent University Library Donation Image Internet Archive Books Image

Uploaded by station04.cebu on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)
Image