Cover Image

Summary goes here

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

GTLSC

Holdings details from GTLSC
Call Number: QA76.9.F67 I86x 2004
Copy 0 AVAILABLE
Notes:
  • json {"id":"23139118440002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671013100521","callNumber":"QA76.9.F67 I86x 2004","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-08-14T04:02:09.072899489Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","statusCorrectAsOf":"2026-08-14T04:02:10.412103565Z"}