Imatge de la portada

Summary goes here

Guardat en:
Dades bibliogràfiques
Format: Llibre
Idioma:anglès
Matèries:
Automatic theorem proving
Parallel processing (Electronic computers)
compositionnalité.
concurrence.
méthode formelle.
spécification formelle.
vérification système.
Parallélisme (Informatique)
Engenharia de programacao (software)
Parallélisme (informatique)
Programacao de computadores.
Théorèmes
Programmatuurtechniek.
Verificatie.
Conference papers and proceedings.
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!

UMSL TJL General Collection Level 4

Detall dels fons de UMSL TJL General Collection Level 4
Signatura: QA76.58 .C639 1997
Còpia 0 AVAILABLE
Notes:
  • json {"id":"6fb48106-5571-5686-9276-c81598c63dc5","status":{"code":"AVAILABLE"},"location":{"code":"SJLEVEL4","name":"UMSL TJL General Collection Level 4"},"barcode":"060-103144526","callNumber":"QA76.58 .C639 1997","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-17T21:57:15.090084567Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-17T21:57:15.276210597Z"}

MU Library Depository 2

Detall dels fons de MU Library Depository 2
Signatura: ENGR QA76 .L43 1536
Còpia 1 AVAILABLE
Notes:
  • json {"id":"cdfae84e-b8a2-5983-8a6c-a5b384958175","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC2","name":"MU Library Depository 2"},"barcode":"302044512005","callNumber":"ENGR QA76 .L43 1536","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-17T21:57:15.090084567Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-17T21:57:15.276713249Z"}