Imagem da capa

Summary goes here

Na minha lista:
Detalhes bibliográficos
Formato: Livro
Idioma:inglês
Assuntos:
Bisimulation.
Coinduction (Mathematics)
Modality (Logic)
Induction (Mathematics)
Computer science.
COMPUTERS / Networking / General.
COMPUTERS / Computer Literacy
COMPUTERS / Computer Science
COMPUTERS / Data Processing
COMPUTERS / Hardware / General
COMPUTERS / Information Technology
COMPUTERS / Machine Theory
COMPUTERS / Reference
Electronic books.
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MU Online Library

Detalhes do Exemplar MU Online Library
Área/Cota: missing
Cód. Barras: 0 AVAILABLE
Observações:
  • json {"id":"59df2043-4819-52c4-b84c-0b4ce94f4ce1","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i171516254","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-09-26T19:46:57.576083347Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-09-26T19:46:58.027160966Z"}

SFCC Electronic Resource

Detalhes do Exemplar SFCC Electronic Resource
Área/Cota: Ebsco Electronic Book
Cód. Barras: 1 AVAILABLE
Observações:
  • json {"id":"f2c78635-f9de-584d-bc48-bfabf5d114ae","status":{"code":"AVAILABLE"},"location":{"code":"SFCC-Eres","name":"SFCC Electronic Resource"},"callNumber":"Ebsco Electronic Book","sourceHostLmsCode":"STATE_FAIR_COMMUNITY_COLLEGE","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-09-26T19:46:57.576083347Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-09-26T19:46:58.616027855Z"}