Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
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: Add Tag
No Tags, Be the first to tag this record!

MU Online Library

Holdings details from MU Online Library
Call Number: missing
Copy 0 AVAILABLE
Notes:
  • 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-08-17T08:37:06.942071141Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-17T08:37:07.388903270Z"}

SFCC Electronic Resource

Holdings details from SFCC Electronic Resource
Call Number: Ebsco Electronic Book
Copy 1 AVAILABLE
Notes:
  • 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-08-17T08:37:06.942071141Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-08-17T08:37:07.337277682Z"}