Copertina

Summary goes here

Salvato in:
Dettagli Bibliografici
Natura: Libro
Lingua:inglese
Soggetti:
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: 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":"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-03-27T01:07:06.849422348Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-27T01:07:07.060635286Z"}