Programs, recursion, and unbounded choice - Info and Reading Options
predicate-transformation semantics and transformation rules
By Wim H. Hesselink
"Programs, recursion, and unbounded choice" was published by Cambridge University Press in 1992 - Cambridge, it has 223 pages and the language of the book is English.
“Programs, recursion, and unbounded choice” Metadata:
- Title: ➤ Programs, recursion, and unbounded choice
- Author: Wim H. Hesselink
- Language: English
- Number of Pages: 223
- Publisher: Cambridge University Press
- Publish Date: 1992
- Publish Location: Cambridge
“Programs, recursion, and unbounded choice” Subjects and Themes:
- Subjects: ➤ Computer programming - Semantics - Computers, psychological aspects - Computer programs - Mathematics - Recursion theory - Symbolic and mathematical Logic
Edition Specifications:
- Pagination: xii, 223 p. ;
Edition Identifiers:
- The Open Library ID: OL1345359M - OL3847076W
- Online Computer Library Center (OCLC) ID: 26339539
- Library of Congress Control Number (LCCN): 92232354
- ISBN-10: 0521404363
- All ISBNs: 0521404363
AI-generated Review of “Programs, recursion, and unbounded choice”:
Read “Programs, recursion, and unbounded choice”:
Read “Programs, recursion, and unbounded choice” by choosing from the options below.
Search for “Programs, recursion, and unbounded choice” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Programs, recursion, and unbounded choice” in Libraries Near You:
Read or borrow “Programs, recursion, and unbounded choice” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Programs, recursion, and unbounded choice” at a library near you.
Buy “Programs, recursion, and unbounded choice” online:
Shop for “Programs, recursion, and unbounded choice” on popular online marketplaces.
- Ebay: New and used books.