Imaxe de Portada

Summary goes here

Gardado en:
Detalles Bibliográficos
Formato: Libro
Idioma:inglés
Subjects:
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: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

MU Online Library

Detalle de Existencias desde MU Online Library
Número de Clasificación: missing
Copia 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-08-13T02:47:07.260314390Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T02:47:07.476866698Z"}