Image de couverture de livre

Summary goes here

Enregistré dans:
Détails bibliographiques
Format: Livre
Langue:anglais
Sujets:
Computer simulation
Temporal automata
Formal methods (Computer science)
System analysis
Simulation par ordinateur
Automates temporels
Méthodes formelles (Informatique)
Analyse de systèmes
Informatique.
Conference papers and proceedings
Software.
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

MU Online Library

Informations d'exemplaires de MU Online Library
Cote: missing
Exemplaire 0 AVAILABLE
Notes:
  • json {"id":"bd4926c5-0e16-59e5-8eba-425a6f67729b","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261515536","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-15T20:29:09.691759431Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-15T20:29:09.937325494Z"}