Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
Denotational semantics.
Langages de programmation
Programmeertalen.
Lambda-Kalkül.
Programmiersprache.
Programmverifikation.
Semantik.
Computer systemsProgramming languages.
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Detall dels fons de UMKC Robot Storage (place request and pick up at main service desk)
Signatura: QA76.7 .S74
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T14:53:07.004614478Z"}

LIND Circulating Books

Detall dels fons de LIND Circulating Books
Signatura: QA76.7 .S74
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-08-13T14:53:07.270904101Z"}

Missouri S&T 3rd Floor

Detall dels fons de Missouri S&T 3rd Floor
Signatura: QA76.7 .S74
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T14:53:07.004677044Z"}

UMSL TJL General Collection Level 4

Detall dels fons de UMSL TJL General Collection Level 4
Signatura: QA76.7 .S74
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T14:53:07.004041429Z"}

MU Library Depository 1

Detall dels fons de MU Library Depository 1
Signatura: MATH QA76.7 .S74
QA76.7 .S74
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T14:53:07.004516659Z"}
Còpia 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-08-13T14:53:06.472615514Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T14:53:07.004764583Z"}