Imagem da capa

Summary goes here

Na minha lista:
Detalhes bibliográficos
Formato: Livro
Idioma:inglês
Assuntos:
Computer simulation
Temporal automata
Formal methods (Computer science)
Machine theory
Théorie des automates
Automates temporels
Méthodes formelles (Informatique)
Simulation par ordinateur
COMPUTERS
Informatique.
Echtzeitsystem
Formale Methode
Formale Sprache
Temporale Logik
Zeitdiskretes System
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
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":"e02297d8-565c-5c04-9390-5111ee04384b","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261448407","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-23T18:40:59.831506486Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-23T18:41:00.020656935Z"}