Kansikuva

Summary goes here

Tallennettuna:
Bibliografiset tiedot
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
Formal methods (Computer science)
Méthodes formelles (Informatique)
System design.
Informatique.
Conference papers and proceedings
Festschriften.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!

MU Online Library

Saatavuus: MU Online Library
Hyllypaikka: missing
Nide 0 AVAILABLE
Huomautukset:
  • json {"id":"2a053d06-6d1d-5c6d-8cb8-45fb97cc479c","status":{"code":"AVAILABLE"},"location":{"code":"COGEN","name":"MU Online Library"},"barcode":".i261493681","hostLmsCode":"UMSYS","sourceHostLmsCode":"UMSYS","owningContext":"UMSYS","isRequestable":false,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-03-27T10:49:36.693528367Z","localItemType":"Online","canonicalItemType":"NONCIRC","localItemTypeCode":"Online","agency":{"code":"6mrln","name":"University of Missouri Library System","description":"University of Missouri Library System"},"statusCorrectAsOf":"2026-03-27T10:49:36.905153588Z"}