Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
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.
Tags: Add Tag
No Tags, Be the first to tag this record!

UMSL TJL General Collection Level 4

Holdings details from UMSL TJL General Collection Level 4
Call Number: QA76.58 .C639 1997
Copy 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-18T01:31:28.951071411Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-18T01:31:29.390936319Z"}

MU Library Depository 2

Holdings details from MU Library Depository 2
Call Number: ENGR QA76 .L43 1536
Copy 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-18T01:31:28.951071411Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-18T01:31:29.391406545Z"}