Cover Image

Summary goes here

Saved in:
Bibliographic Details
Format: Book
Language:English
Subjects:
Formal methods (Computer science)
Tags: Add Tag
No Tags, Be the first to tag this record!

GTLSC

Holdings details from GTLSC
Call Number: QA76.6 .M6513 2003
Copy 0 AVAILABLE
Notes:
  • json {"id":"23154088920002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671013580144","callNumber":"QA76.6 .M6513 2003","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-14T05:23:37.424964011Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","statusCorrectAsOf":"2026-08-14T05:23:38.663576247Z"}