صورة الغلاف

Summary goes here

محفوظ في:
التفاصيل البيبلوغرافية
التنسيق: كتاب
اللغة:الإنجليزية
الموضوعات:
Formal methods (Computer science)
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

MU Engineering Library General Collection

تفاصيل المقتنيات من MU Engineering Library General Collection
رقم الاستدعاء: ENGR QA76.6 .M6513 2003
النسخة 0 AVAILABLE
ملاحظات:
  • json {"id":"dc2b2a90-395f-5bb9-8e54-af2aa5ee2058","status":{"code":"AVAILABLE"},"location":{"code":"CNGEN","name":"MU Engineering Library General Collection"},"barcode":"010-505681424","callNumber":"ENGR QA76.6 .M6513 2003","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-27T02:33:00.777762932Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-27T02:33:00.976542129Z"}

Pius Library

تفاصيل المقتنيات من Pius Library
رقم الاستدعاء: QA76.6 .M6513 2003
النسخة 1 AVAILABLE
ملاحظات:
  • json {"id":"2440430","status":{"code":"AVAILABLE"},"location":{"code":"pgen","name":"Pius Library"},"barcode":"210-011892963","callNumber":"QA76.6 .M6513 2003","hostLmsCode":"STLOUIS_UNIVERSITY","sourceHostLmsCode":"STLOUIS_UNIVERSITY","owningContext":"STLOUIS_UNIVERSITY","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-27T02:33:00.777762932Z","localItemType":"Monograph","canonicalItemType":"CIRC","localItemTypeCode":"0","agency":{"code":"6sluu","name":"Saint Louis University","description":"Saint Louis University"},"statusCorrectAsOf":"2026-03-27T02:33:01.046661767Z"}