Algorithms: the construction, proof, and analysis of programs
Description
Description Not Provided
More Details
Contributors:
ISBN:
9780471908449
More Copies In Prospector
Loading Prospector Copies...
Staff View
Grouping Information
Grouped Work ID | 4dc27b7c-b24f-0f4b-a729-237ba2641988 |
---|---|
Grouping Title | algorithms the construction proof and analysis of programs |
Grouping Author | pierre berlioux |
Grouping Category | book |
Grouping Language | English (eng) |
Last Grouping Update | 2024-03-31 09:52:25AM |
Last Indexed | 2024-05-04 23:17:33PM |
Solr Fields
accelerated_reader_point_value
0
accelerated_reader_reading_level
0
auth_author2
Bizard, Philippe
author
Berlioux, Pierre
author2-role
Bizard, Philippe
author_display
Berlioux, Pierre
available_at_adams
Adams State University
collection_adams
Main Collection
detailed_location_adams
ASU Main (3rd floor)
display_description
format_adams
Book
format_category_adams
Books
id
4dc27b7c-b24f-0f4b-a729-237ba2641988
isbn
9780471908449
itype_adams
Book
last_indexed
2024-05-05T05:17:33.572Z
lexile_score
-1
literary_form
Non Fiction
literary_form_full
Non Fiction
local_callnumber_adams
QA76.6 .B471813 1986
owning_library_adams
Adams State University
owning_location_adams
Adams State University
primary_isbn
9780471908449
publishDate
1986
publisher
J. Wiley
recordtype
grouped_work
subject_facet
Algorithms
Computer programming
Computer programming
title_display
Algorithms : the construction, proof, and analysis of programs
title_full
Algorithms : the construction, proof, and analysis of programs / Pierre Berlioux and Philippe Bizard ; translated by Annwyl Williams
title_short
Algorithms
title_sub
the construction, proof, and analysis of programs
topic_facet
Algorithms
Computer programming
Computer programming
Solr Details Tables
item_details
Bib Id | Item Id | Shelf Loc | Call Num | Format | Format Category | Num Copies | Is Order Item | Is eContent | eContent Source | eContent URL | Detailed Status | Last Checkin | Location |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
ils:.b1236230x | .i22897355 | ASU Main (3rd floor) | QA76.6 .B471813 1986 | 1 | false | false | On Shelf | as |
record_details
Bib Id | Format | Format Category | Edition | Language | Publisher | Publication Date | Physical Description | Abridged |
---|---|---|---|---|---|---|---|---|
ils:.b1236230x | Book | Books | English | J. Wiley | [1986] | viii, 145 pages : illustrations ; 23 cm |
scoping_details_adams
Bib Id | Item Id | Grouped Status | Status | Locally Owned | Available | Holdable | Bookable | In Library Use Only | Library Owned | Holdable PTypes | Bookable PTypes | Local Url |
---|---|---|---|---|---|---|---|---|---|---|---|---|
ils:.b1236230x | .i22897355 | On Shelf | On Shelf | false | true | true | false | false | true | 56, 57, 58, 59 |