Omslagsbild

Summary goes here

Sparad:
Bibliografiska uppgifter
Materialtyp: Bok
Språk:engelska
Ämnen:
Computer software
Integrated circuits
Logiciels
Circuits intégrés
Informatique.
Hardwareverifikation
Programmverifikation
Testen
Model Checking
Software
Haifa <2009>
Congress
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Kongress.
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!

MU Online Library

Beståndsuppgifter i MU Online Library
Signum: missing
Exemplar 0 AVAILABLE
Anmärkningar:
  • json {"id":"787c481b-bc82-57f4-98b2-f860062ea0f9","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261501987","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-13T16:03:41.353539465Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-10-13T16:03:41.546066915Z"}