Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Program construction and verification
Normal view
MARC view
ISBD view
Program construction and verification
By:
Backhouse, Roland C
.
Material type:
Book
Publisher:
Englewood:
Prentice Hall,
1986
Description:
xi, 281 p.; ill.: 24 cm
.
ISBN:
0137291469 .
Subject(s):
Computer programming
|
Computer systems Programs Construction & verification
|
Electronic digital computers -- Programming
DDC classification:
005
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
005 BAC (
Browse shelf
)
Available
030664
Browsing DAIICT Shelves
Close shelf browser
Previous
Next
005.713 BOU
Essential guide to object monitors
005.82 YIX
Homomorphic encryption and applications
005.82409 BAU
Unsolved : the history and mystery of the worlds greatest ciphers from ancient egypt to online secret societies
005 BAC
Program construction and verification
005 BRI
Designing Web Sites that Work
005 DEA
Talking with Computers : explorations in the science and technology of computing
005 ETA
Trust Management
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.