Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
Formal methods (Computer science)
Computer software
Computer programs
Méthodes formelles (Informatique)
Logiciels
COMPUTERS
Formale Methode
Hardwareentwurf
Kongress
Korrektheit
Softwareentwicklung
Testen
Software
Méthode formelle.
Vérification de logiciels.
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Montreal (2003)
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MU Online Library

Detall dels fons de MU Online Library
Signatura: missing
Còpia 0 AVAILABLE
Notes:
  • json {"id":"13a42cfc-b5c5-5b0c-9b80-bf59d3d8f34f","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261583645","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-13T09:07:30.036513541Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-08-13T09:07:30.237396737Z"}