Imagem da capa

Summary goes here

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

GTLSC

Detalhes do Exemplar GTLSC
Área/Cota: QA76.754 .F67 2007
Cód. Barras: 0 AVAILABLE
Observações:
  • json {"id":"23151544840002947","status":{"code":"AVAILABLE"},"location":{"code":"GTLSC","name":"GTLSC"},"barcode":"50671013357915","callNumber":"QA76.754 .F67 2007","sourceHostLmsCode":"GEORGIA_INSTITUTE_OF_TECH_ALMA","owningContext":"GEORGIA_INSTITUTE_OF_TECH_ALMA","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-10-13T12:44:32.504426197Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","rawDataValues":{"baseStatus":"1"},"statusCorrectAsOf":"2026-10-13T12:44:33.519558425Z"}