Algorithms: the construction, proof, and analysis of programs

Book Cover
Publisher:
J. Wiley,
Pub. Date:
[1986]
Language:
English
Description
Demonstrates the close links between construction, proof, and analysis of programs. Introduces the basic elements that allow proof and analysis of iterative programs to be carried out and introduces the concept of recursive programming. Also shows how a recursive program can be converted into an iterative program. Offers numerous, clearly presented examples.
Also in This Series
More Like This
More Details
Contributors:
ISBN:
9780471908449
More Copies In Prospector
Loading Prospector Copies...
Staff View

Grouping Information

Grouped Work ID4bcd70c6-a194-fb55-e010-7bca3139e7f9
Grouping Titlealgorithms the construction proof and analysis of programs
Grouping Authorberlioux pierre
Grouping Categorybook
Last Grouping Update2018-10-10 01:06:21AM
Last Indexed2019-12-15 03:14:16AM

Solr Details

accelerated_reader_point_value0
accelerated_reader_reading_level0
auth_author2Bizard, Philippe.
authorBerlioux, Pierre.
author2-roleBizard, Philippe.
author_displayBerlioux, Pierre
available_at_adamsAdams State University
collection_adamsMain Collection
detailed_location_adamsASU Main (3rd floor)
display_description
format_adamsBook
format_category_adamsBooks
id4bcd70c6-a194-fb55-e010-7bca3139e7f9
isbn9780471908449
item_details
Bib IdItem IdShelf LocCall NumFormatFormat CategoryNum CopiesIs Order ItemIs eContenteContent SourceeContent FileeContent URLsubformatDetailed StatusLast CheckinLocationSub-location
ils:.b1236230x.i22897355ASU Main (3rd floor)QA76.6 .B471813 19861falsefalseOn Shelfas
itype_adamsBook
last_indexed2019-12-15T10:14:16.748Z
lexile_score-1
literary_formNon Fiction
literary_form_fullNon Fiction
local_callnumber_adamsQA76.6 .B471813 1986
owning_library_adamsAdams State University
owning_location_adamsAdams State University
primary_isbn9780471908449
publishDate1986
record_details
Bib IdFormatFormat CategoryEditionLanguagePublisherPublication DatePhysical Description
ils:.b1236230xBookBooksEnglishJ. Wiley, [1986]viii, 145 pages : illustrations ; 23 cm.
recordtypegrouped_work
scoping_details_adams
Bib IdItem IdGrouped StatusStatusLocally OwnedAvailableHoldableBookableIn Library Use OnlyLibrary OwnedHoldable PTypesBookable PTypesLocal Url
ils:.b1236230x.i22897355On ShelfOn Shelffalsetruetruefalsefalsetrue56, 57, 58, 59
subject_facetAlgorithms
Computer programming
title_displayAlgorithms : the construction, proof, and analysis of programs
title_fullAlgorithms : the construction, proof, and analysis of programs / Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
title_shortAlgorithms
title_subthe construction, proof, and analysis of programs
topic_facetAlgorithms
Computer programming