表紙画像

Summary goes here

保存先:
書誌詳細
フォーマット: 図書
言語:英語
主題:
Formal methods (Computer science)
Conference papers and proceedings.
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!

GTLSC

予約･返却請求 GTLSC
請求記号: QA76.9 .F67 I59 1998
所蔵 0 AVAILABLE
注記:
  • json {"id":"23120412170002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671011634091","callNumber":"QA76.9 .F67 I59 1998","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-14T13:34:34.429879620Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","statusCorrectAsOf":"2026-08-14T13:34:36.674748812Z"}