Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Denotational semantics.
Langages de programmation
Programmeertalen.
Lambda-Kalkül.
Programmiersprache.
Programmverifikation.
Semantik.
Computer systemsProgramming languages.
Tags: Add Tag
No Tags, Be the first to tag this record!

UMKC Robot Storage (place request and pick up at main service desk)

Holdings details from UMKC Robot Storage (place request and pick up at main service desk)
Call Number: QA76.7 .S74
Copy 0 AVAILABLE
Notes:
  • json {"id":"6d0f464e-a032-5cea-9bcd-d845ec1ae105","status":{"code":"AVAILABLE"},"location":{"code":"KNRS","name":"UMKC Robot Storage (place request and pick up at main service desk)"},"barcode":"040-001779016","callNumber":"QA76.7 .S74","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T03:01:06.819600852Z"}

LIND Circulating Books

Holdings details from LIND Circulating Books
Call Number: QA76.7 .S74
Copy 1 AVAILABLE
Notes:
  • json {"id":"fd3cf529-92c6-5f00-a2e2-86fda6ac63cd","status":{"code":"AVAILABLE"},"location":{"code":"LIND-CircBk","name":"LIND Circulating Books"},"barcode":"37150001637495","callNumber":"QA76.7 .S74","sourceHostLmsCode":"LINDENWOOD_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-10-12T03:01:07.254969886Z"}

Missouri S&T 3rd Floor

Holdings details from Missouri S&T 3rd Floor
Call Number: QA76.7 .S74
Copy 2 AVAILABLE
Notes:
  • json {"id":"87fdb205-076c-53df-9243-15daabdaa991","status":{"code":"AVAILABLE"},"location":{"code":"R3RDM","name":"Missouri S&T 3rd Floor"},"barcode":"050-001116875","callNumber":"QA76.7 .S74","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T03:01:06.819743593Z"}

UMSL TJL General Collection Level 4

Holdings details from UMSL TJL General Collection Level 4
Call Number: QA76.7 .S74
Copy 3 AVAILABLE
Notes:
  • json {"id":"01cdd060-ea8d-5c4a-825d-d37bedbc9cc2","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-003641688","callNumber":"QA76.7 .S74","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T03:01:06.818937209Z"}

MU Library Depository 1

Holdings details from MU Library Depository 1
Call Number: MATH QA76.7 .S74
QA76.7 .S74
Copy 4 AVAILABLE
Notes:
  • json {"id":"352ddb97-7027-5765-a46f-194cc79a8934","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"102160906015","callNumber":"MATH QA76.7 .S74","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T03:01:06.819449Z"}
Copy 5 AVAILABLE
Notes:
  • json {"id":"ae29aecb-a75e-5708-8151-9093cafb5182","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"101110504022","callNumber":"QA76.7 .S74","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T03:01:06.283411174Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T03:01:06.819862622Z"}