Kansikuva

Summary goes here

Tallennettuna:
Bibliografiset tiedot
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
Denotational semantics.
Langages de programmation
Programmeertalen.
Lambda-Kalkül.
Programmiersprache.
Programmverifikation.
Semantik.
Computer systemsProgramming languages.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

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

Saatavuus: UMKC Robot Storage (place request and pick up at main service desk)
Hyllypaikka: QA76.7 .S74
Nide 0 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:50:29.854166742Z"}

LIND Circulating Books

Saatavuus: LIND Circulating Books
Hyllypaikka: QA76.7 .S74
Nide 1 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-02-01T16:50:30.050550869Z"}

Missouri S&T 3rd Floor

Saatavuus: Missouri S&T 3rd Floor
Hyllypaikka: QA76.7 .S74
Nide 2 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:50:29.854246212Z"}

UMSL TJL General Collection Level 4

Saatavuus: UMSL TJL General Collection Level 4
Hyllypaikka: QA76.7 .S74
Nide 3 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:50:29.853513758Z"}

MU Library Depository 1

Saatavuus: MU Library Depository 1
Hyllypaikka: MATH QA76.7 .S74
QA76.7 .S74
Nide 4 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:50:29.854040281Z"}
Nide 5 AVAILABLE
Huomautukset:
  • 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-02-01T16:50:29.342598971Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T16:50:29.854316046Z"}