表紙画像

Summary goes here

保存先:
書誌詳細
フォーマット: 図書
言語:英語
主題:
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.
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

UMSL TJL General Collection Level 4

予約･返却請求 UMSL TJL General Collection Level 4
請求記号: QA76.58 .C639 1997
所蔵 0 AVAILABLE
注記:
  • 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-18T00:14:22.410796898Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-18T00:14:22.903390620Z"}

MU Library Depository 2

予約･返却請求 MU Library Depository 2
請求記号: ENGR QA76 .L43 1536
所蔵 1 AVAILABLE
注記:
  • 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-18T00:14:22.410796898Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-18T00:14:22.903864243Z"}