Copertina

Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
Formal methods (Computer science)
Méthodes formelles (Informatique)
Informatique.
Fehlertoleranz
Formale Methode
InterruptInformatik
Model Checking
Programmverifikation
Sicherheitskritisches System
Testen
Verifikation
Software
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Gramado (2009)
Kongress (2009)
Online-Publikation.
Kongress.
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

MU Online Library

Dettagli sul posseduto da MU Online Library
Collocazione: missing
Copia 0 AVAILABLE
Note:
  • json {"id":"7bb7ce40-84cc-5dec-9375-7a971acf0d16","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261493024","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-13T07:33:18.616046113Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T07:33:19.297495724Z"}