Omslagsbillede

Summary goes here

Saved in:
Bibliografiske detaljer
Format: Bog
Sprog:engelsk
Fag:
Formal methods (Computer science)
Software engineering
Computer programs
Electronic Data Processing
Méthodes formelles (Informatique)
Génie logiciel
Logiciels
Informatique.
data processing.
computer science.
Softwareentwicklung
Zuverlässigkeit
Sicherheitskritisches System
Formale Methode
Systementwurf
Model Checking
Verifikation
Antwerpen <2010>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

MU Online Library

Detaljer om beholdninger fra MU Online Library
Klassifikationsnummer: missing
Kopi 0 AVAILABLE
Kommentarer:
  • json {"id":"b3e57742-93b2-5f6e-8ac6-92edb2c4f423","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261498964","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-13T22:24:54.621780276Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T22:24:55.120182580Z"}