Kansikuva

Summary goes here

Tallennettuna:
Bibliografiset tiedot
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
Formal methods (Computer science)
Software engineering.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

MU Library Depository 1

Saatavuus: MU Library Depository 1
Hyllypaikka: ENGR QA76.758 .L84 2000
Nide 0 AVAILABLE
Huomautukset:
  • json {"id":"4f5965dd-4cc0-5630-ac53-571a72789af7","status":{"code":"AVAILABLE"},"location":{"code":"UMLDUMC1","name":"MU Library Depository 1"},"barcode":"109182107004","callNumber":"ENGR QA76.758 .L84 2000","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-01-31T07:34:00.483675050Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-01-31T07:34:00.704659375Z"}