Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
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.
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MU Online Library

Detall dels fons de MU Online Library
Signatura: missing
Còpia 0 AVAILABLE
Notes:
  • 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-05-13T05:58:25.716117091Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-05-13T05:58:25.919702717Z"}