Bearbmagovva

Summary goes here

Furkejuvvon:
Bibliográfalaš dieđut
Materiálatiipa: Girji
Giella:eaŋgalasgiella
Fáttát:
Formal methods (Computer science)
Integrated circuits
Conference papers and proceedings.
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

GTLSC

oažžasuvvan: GTLSC
Hildobáiki: QA76.754 .F67 2007
Njađus 0 AVAILABLE
Fuomášahttimat:
  • 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-18T14:13:49.549615882Z","localItemType":"BOOK","canonicalItemType":"CIRC","localItemTypeCode":"BOOK","rawDataValues":{"baseStatus":"1"},"statusCorrectAsOf":"2026-10-18T14:13:50.541540119Z"}