Imagem da capa

Summary goes here

Na minha lista:
Detalhes bibliográficos
Formato: Livro
Idioma:inglês
Assuntos:
Formal methods (Computer science)
Conference papers and proceedings.
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

GTLSC

Detalhes do Exemplar GTLSC
Área/Cota: QA76.9.F67 I58 2000
Cód. Barras: 0 AVAILABLE
Observações:
  • json {"id":"23154472190002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671011924641","callNumber":"QA76.9.F67 I58 2000","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-14T01:40:58.424038897Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","rawDataValues":{"baseStatus":"1"},"statusCorrectAsOf":"2026-10-14T01:40:59.395656474Z"}