Εξώφυλλο

Summary goes here

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Μορφή: Βιβλίο
Γλώσσα:Αγγλικά
Θέματα:
SPIN (Computer file)
Computer software
Electronic Data Processing
Logiciels
Informatique.
Model Checking
Programmverifikation
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Grenoble (2009)
Kongress.
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

MU Online Library

Λεπτομέρειες τεκμηρίων από MU Online Library
Ταξινομικός Αριθμός: missing
Αντίγραφο 0 AVAILABLE
Σημειώσεις:
  • json {"id":"b7001992-772a-5c4b-b004-d9f3a1994a3e","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261489380","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-02T01:50:35.544672566Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-02T01:50:36.042521056Z"}