Downloads & Free Reading Options - Results
Program Construction And Verification by Roland C. Backhouse
Read "Program Construction And Verification" by Roland C. Backhouse through these free online access and download options.
Books Results
Source: The Internet Archive
The internet Archive Search Results
Available books for downloads and borrow from The internet Archive
1Program Construction And Verification
By Backhouse, Roland C., 1948-
“Program Construction And Verification” Metadata:
- Title: ➤ Program Construction And Verification
- Author: Backhouse, Roland C., 1948-
- Language: English
“Program Construction And Verification” Subjects and Themes:
- Subjects: ➤ Logiciels -- Développement - Ordinateurs -- Programmation - Computer systems Programs Construction & verification - Computer programs - Computer programming - verification logiciel - validation logiciel - Programmation - production programme - Programmation (Informatique) - Programmverifikation - Programmierung - Logiciels -- Developpement
Edition Identifiers:
- Internet Archive ID: programconstruct0000back
Downloads Information:
The book is available for download in "texts" format, the size of the file-s is: 524.26 Mbs, the file-s for this book were downloaded 390 times, the file-s went public at Tue Nov 26 2019.
Available formats:
ACS Encrypted EPUB - ACS Encrypted PDF - Abbyy GZ - Cloth Cover Detection Log - DjVuTXT - Djvu XML - Dublin Core - EPUB - Item Tile - JPEG Thumb - JSON - LCP Encrypted EPUB - LCP Encrypted PDF - Log - MARC - MARC Binary - Metadata - OCR Page Index - OCR Search Text - PNG - Page Numbers JSON - Scandata - Single Page Original JP2 Tar - Single Page Processed JP2 ZIP - Text PDF - Title Page Detection Log - chOCR - hOCR -
Related Links:
- Whefi.com: Download
- Whefi.com: Review - Coverage
- Internet Archive: Details
- Internet Archive Link: Downloads
Online Marketplaces
Find Program Construction And Verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Source: The Open Library
The Open Library Search Results
Available books for downloads and borrow from The Open Library
1Program construction and verification
By Roland C. Backhouse
“Program construction and verification” Metadata:
- Title: ➤ Program construction and verification
- Author: Roland C. Backhouse
- Language: English
- Number of Pages: Median: 281
- Publisher: Prentice-Hall International
- Publish Date: 1986
- Publish Location: Englewood Cliffs, N.J
“Program construction and verification” Subjects and Themes:
- Subjects: ➤ Computer programming - Developpement - Programmation - Programmverifikation - Computer programs - Validation logiciel - Programmation (Informatique) - Verification logiciel - Logiciels - Programmierung - Ordinateurs - Production programme - Electronic digital computers, programming
Edition Identifiers:
- The Open Library ID: OL2536067M
- Online Computer Library Center (OCLC) ID: 12313124
- Library of Congress Control Number (LCCN): 85016883
- All ISBNs: 9780137291465 - 0137291469 - 0137291531 - 9780137291533
Author's Alternative Names:
"Roland Backhouse"Access and General Info:
- First Year Published: 1986
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Program construction and verification at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
Buy “Program Construction And Verification” online:
Shop for “Program Construction And Verification” on popular online marketplaces.
- Ebay: New and used books.