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!

General Collection

Holdings details from General Collection
Call Number: QA76.9 .F67 2019
Copy 0 AVAILABLE
Notes:
  • json {"id":"5e78cb02-a80f-5609-81d7-1795042c862f","status":{"code":"AVAILABLE"},"location":{"code":"TRUMAN-GEN","name":"General Collection"},"barcode":"31514007238085","callNumber":"QA76.9 .F67 2019","sourceHostLmsCode":"TRUMAN","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-05-13T07:09:42.738961209Z","localItemType":"Monograph","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Monograph","statusCorrectAsOf":"2026-05-13T07:09:43.007652159Z"}