Cover Image

Summary goes here

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

Webster-Eden Internet Access

Holdings details from Webster-Eden Internet Access
Call Number: QA76.9.F67 S64 2006: ebook
Copy 0 AVAILABLE
Notes:
  • json {"id":"65c63b09-4b55-5879-a5db-4c0caa80c7bb","status":{"code":"AVAILABLE"},"location":{"code":"EWL-WEB-Online Resources","name":"Webster-Eden Internet Access"},"callNumber":"QA76.9.F67 S64 2006: ebook","sourceHostLmsCode":"WEBSTER_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-15T15:18:51.544721831Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-02-15T15:18:52.080198219Z"}

UMKC Libraries Online Resources

Holdings details from UMKC Libraries Online Resources
Call Number: QA76.9.F67 S64 2006
Copy 1 AVAILABLE
Notes:
  • json {"id":"41ea6a17-b8e1-5782-b714-76edec2ba0c3","status":{"code":"AVAILABLE"},"location":{"code":"KE","name":"UMKC Libraries Online Resources"},"barcode":".i196769619","callNumber":"QA76.9.F67 S64 2006","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-02-15T15:18:51.544721831Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-02-15T15:18:52.025071884Z"}