Buchumschlag

Summary goes here

Gespeichert in:
Bibliographische Detailangaben
Format: Buch
Sprache:Englisch
Schlagworte:
Formal methods (Computer science)
Software engineering
Computer programs
Computer software
Méthodes formelles (Informatique)
Génie logiciel
Logiciels
Informatique.
Eingebettetes System
Fehlertoleranz
Formale Methode
Model Checking
Programmverifikation
Sicherheitskritisches System
Softwareentwicklung
Softwarespezifikation
Systementwurf
Verifikation
Zuverlässigkeit
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":"76ef6bc7-c5ea-5b11-a382-2902d2b79df8","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261490072","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-12T17:32:55.363780318Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-12T17:32:55.554902560Z"}