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 Engineering Library General Collection

Saatavuus: MU Engineering Library General Collection
Hyllypaikka: ENGR QA76.758 .K68 2012
Nide 0 AVAILABLE
Huomautukset:
  • json {"id":"bd70b993-6691-55fc-b8e3-b1602fddd473","status":{"code":"AVAILABLE"},"location":{"code":"CNGEN","name":"MU Engineering Library General Collection"},"barcode":"010-509586119","callNumber":"ENGR QA76.758 .K68 2012","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-27T10:49:38.175687692Z","localItemType":"Book","canonicalItemType":"CIRC","localItemTypeCode":"Book","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-27T10:49:38.386270609Z"}