Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Computer simulation
Temporal automata
Formal methods (Computer science)
Simulation par ordinateur
Automates temporels
Méthodes formelles (Informatique)
Informatique.
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

MU Online Library

Bestandsangaben von MU Online Library
Signatur: missing
Exemplar 0 AVAILABLE
Anmerkungen:
  • json {"id":"6e550cc5-0ed1-59dd-9ec8-9fa882a692f6","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261484308","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-15T18:47:29.454348411Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-15T18:47:29.706104012Z"}