Εξώφυλλο

Summary goes here

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Θέματα:
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.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MU Online Library

Λεπτομέρειες τεκμηρίων από MU Online Library
Ταξινομικός Αριθμός: missing
Αντίγραφο 0 AVAILABLE
Σημειώσεις:
  • 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-02-01T07:00:54.122305071Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-01T07:00:54.355903986Z"}